3. 用真值表判定下列复合命题是否为永真式:
((?p??q)?q)?p
p T T F F q T F T F 4.用归谬赋值法判定公式:(p?q)?(?p ? ?q)是否为重言式。
五、分析题(4题,每题6分,共24分)
得 分
1. 设下列三句话中只有一句是假话,请问:甲班班长是否懂计算机?
(1) 甲班所有学生懂电子计算机。 (2) 甲班小张懂电子计算机。
(3) 甲班所有学生都不懂电子计算机。
2. 分析下列推理是否正确。如正确,写出其推理形式;如不正确,指出其违反什么规则。
凡商品都是有价值的,所以,有的非商品不是有价值的。
3. 用现代谓词逻辑公式刻画下列命题:
所有大学生都是知识分子。
4.下列推理属于哪种类型的推理,写出它的逻辑形式并分析其是否正确,为什么? 如果某甲触犯了刑律,那么他的行为就是犯罪行为;如果没有触犯刑律,那么他的行为就是不道德行为;某甲或者触犯了刑律或者没有触犯刑律。总之,某甲的行为或者是犯罪行为,或者是不道德行为。
六、运用三段论规则,填上合适的符号,使推理形式有效(3题,每空2分,共8分) 得 分 1.M( )P S( )M S E P 2.P E M M A S S( )P
3.P A M M A S S( )P
七、综合题(1题,每题8分,共8分)
得 分 某案件有四名嫌疑人。法庭调查后确认:
① A是罪犯或B不是罪犯。 ② 如果B不是罪犯,那么C不是罪犯。 ③ A不是罪犯。 ④ A、B、C、D四人中至少有一人是罪犯。
请问,根据法庭以上确认可推知谁是罪犯。请写出推导过程。
相关推荐: