已知某有效三段论的大前提为O判断，试证明：(1)其小前提必为A判断;(2)该三段论为第三格OAO式。
证明：已知某有效三段论的大前提为O判断，则其结论必为O判断，故其大项在结论中周延;因此，在大前提中大项必须周延，因此大前提必为MOP，由此可见，中项在大前提中没有周延，根据基本规则，中项在小前提中必须周延;又因为大前提为否定判断，所以小前提必须为肯定判断，所以小前提必为MAS。所以该三段论为第三格的OAO式
暂无解析
SIP与SOP之间的关系是（）
“(p→q)∧(r→s)∧(p∨r)→q∨s”这一推理式是（）
联言推理有两种推理式：分解式和___。
某宿舍住着四位研究生，分别是四川人、安徽人、河北人和北京人。他们分别在中文、国政和法律三个系就学。其中
(1)北京籍研究生单独在国政系;
(2)河北籍研究生不在中文系;
(3)四川籍研究生和另外某个研究生同在一个系;
(4)安徽籍研究生不和四川籍研究生同在一个系。
下列关系中既传递又对称的关系有（）
