中国政法大学研究生试题《形式逻辑》3
一、下列陈述是否正确？为什么？（每小题2分，共10分）
1.“亚洲”与“中国”这两个概念之间具有属种关系。
2.“地球分为南半球和北半球”是一个正确的划分。
3.命题间的蕴涵关系是传递的并且是对称的。
4.只有驳倒对方的论据，才能驳倒对方的论题。
5.无逻辑矛盾的理论未必是真实的理论。
二、单项或多项选择题（将你选择的答案写在答题纸上。每小题2分，共10分）
1.如果有些a是b，并且有些a不是b，那么a与b之间具有________关系或者_______关系。
①属种
②种属
③交叉
④全异
2.当“凡s是p”与“有些s是p”同真时，s与p之间具有_______关系或者_______关系。
①全同
②种属
③属种
④交叉
3.当“如果p，那么q”与“p或者q”同真时，支命题p，q的真值情况是_______或者_______。
①p，q都真
②p，q都假
③p真q假
④p假q真
4.“从有些证人是不诚实的”可以推出________。
①有些证人是诚实的
②有些不诚实的人是证人
③并非所有证人都是诚实的
④并非所有证人都不是诚实的
5.如果从假前提推出了真结论，那么这个推理的推理形式_________。
①正确
②不正确
③可能正确可能不正确
三、填空题（每空2分，共16分）
设有下列命题形式
(1)p→q
(2)┐p→┐q
(3)p∨q
(4)p∧q
(5)┐（p→┐q）
(6)p∧┐q
(7)┐p→q
(8)┐p∧q
(9)p∨┐q
(10)┐p∧┐q
(11)┐p∨q
(12)┐p∧┐q
将相应的命题形式的序号写在答题纸上：
（1）与_______，（2）与________，（3）与________，（4）与_________相互等值。
（1）与_______，（2）与________，（3）与________，（4）与_________相互矛盾。
四、写出下列各命题的等值命题（每小题3分，共18分）
1.明天不可能下雨。
2.并非甲是案犯但甲没有作案时间。
3.并非你说错了或者我听错了。
4.只有证据确实、充分、才能定案。
5.如果甲是凶手，那么乙不是凶手。
6.我不来或者他不来。
五、判断下列推理形式是否有效式（每小题3分，共18分）
1.┐sap→sip
2.pam∧sam→sep
3.（（p∨q）→r)∧(r∧┐p)→q
4.((p∨┐q)→(r∧s))∧┐s→q
5.((p∧r)→(q∨┐q))→(p→┐r)
6.(((p∨q)→r)∧（（p∨q）→s))∧(┐r∨┐s)→┐q
六、用真值表方法或简化真值表方法判定下列公式是否重方式（8分）
（p←→q）∨(┐p←→q)←→(p∨┐q)∧(┐p∨q)
七、某地发生一起案件。公安机关掌握了以下情况：
（1）如果e是案犯，那以a和c不可能都不是案犯；
（2）如果b不是案犯，那么a不是案犯；