一、下列陈述是否正确？为什么？（每小题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）与_________相互等值。