17人大逻辑试题

wheelen · 发表于 2016-12-31 14:12

（浪太久了具体内容不太记得了…）
1.真值表题
给两个命题A和B，画出真值表，然后问A是否逻辑蕴涵B
2.证明题
（一）给两个公理，让你证明p->p，实际上就是运用形式系统P里边的公理1和公理2证明同一律
（二）运用三段论的基本规则证明为什么三段论第一格中大前提必须是全称命题，小前提必须是肯定命题
3.推理题
判断下列推理是否有效
（一）有的教师喜欢足球，有的教师喜欢音乐（诶？不记得是不是“音乐”了），因此有的教师既喜欢足球又喜欢音乐
（二）哺乳动物都不会灭亡，熊猫是哺乳动物，所以熊猫不会灭亡
4.真值联结词题
（一）证明：“必然”不是真值联结词
（二）证明：“并非”不能表示“蕴涵”
5.范式题
（一）求一个命题的范式（并没有说是要求合取范式还是析取范式，我觉得应该是两个都要求吧…）
（二）求一个命题的前束范式
6.解释题
给两个命题，要求做出一个解释使得其满足这两个命题

来自iPhone客户端