已知某有效三段论的大前提为O判断，试证明：(1)其小前提必为A判断;(2)该三段论为第三格OAO式。
证明：已知某有效三段论的大前提为O判断，则其结论必为O判断，故其大项在结论中周延;因此，在大前提中大项必须周延，因此大前提必为MOP，由此可见，中项在大前提中没有周延，根据基本规则，中项在小前提中必须周延;又因为大前提为否定判断，所以小前提必须为肯定判断，所以小前提必为MAS。所以该三段论为第三格的OAO式
暂无解析
就演绎推理而言，正确的说法是()。
选言证法是通过先论证与原论题相关的其他可能性的论断都不能成立，然后确定论题真的一种间接论证方法。其依据的是（）
一个三段论，如果其结论是假的，那么其推理式和前提必定是（）
“必然p”与“不可能p”之间的关系应该是()。
用欧拉图表示下列概念之间的关系：工业(A)农业(B)农机工业(C)农业机械(D)
