一、下列表述是否正确？为什么？（每小题2分，共10分）

    1.“高级人民法院”与“中级人民法院”，这两个概论是属种关系。

    2.无逻辑矛盾的理论就是真实的理论。

    3.命题的蕴涵与命题的等值没有任何联系。

    4.词项的周延性问题也就是概念的外延问题。

    5.驳倒了对方的论据，不等于驳倒了对方的论题。

    二、写出下列各命题的等值命题（每小题2分，共14分）

    1.有些被告不是犯罪分子。

    2.并非禁止你发表不同意见。

    3.如果某甲是贪污罪，那么某甲是故意犯罪。

    4.并非如果甲有作案时间，那么甲是案犯。

    5.并非人生的价值在于地位高或名声大。

    6.并非他既犯盗窃罪又犯抢劫罪。

    7.只有搞好党风，才能转变社会风气。

    三、设有下列命题形式（每小题4分，共16分）

    ①（p∨━━┓q）∧(━━┓p∨q)

    ②（━━┓p∨━━┓q）∧(q∨━━┓q)

    ③（━━┓p→q）∧(∨q→p)

    ④(p∧━━┓q)∨(q∧━━┓p)

    ⑤(p∨━━┓p)∧(━━┓p∨q)

    ⑥(p∧━━┓p)∨(━━┓p∨━━┓q)

    ⑦━━┓(p→━━┓q)∧━━┓(q→━━┓p)

    ⑧（p∧━━┓q）∨(━━┓p∧q）

    将符合下述要求的命题形式序号写在下面的横线上：（将原题抄在答题纸上作答）

    1.“p∧q”与__________相互等值，与_________相互矛盾。

    2.“p∨q”与__________相互等值，与_________相互矛盾。

    3.“p→q”与__________相互等值，与_________相互矛盾。

    4.“p《——》q”与__________相互等值，与________相互矛盾。

    四、判定下列推理形式是否有效式（每小题3分，共30分）

    1.SAP→SOP（）