A、如果前提假且形式无效，则结论一定假。
B、如果有前提假而形式有效，结论一定假。
C、如果前提都真而形式有效，结论一定真。
D、如果结论真且形式有效，则前提一定真。如果结论假且前提都真，则形式一定无效。
E、如果结论假且前提都真，则形式一定无效。
“穆勒五法”中，除被研究现象外，要求其他相关情况都相同的探求因果联系的逻辑方法有（）
A、求同法
B、求异法
C、求同求异并用法
D、共变法
E、剩余法
用真值表来验证((p→q)∧┓q)├┓P是否为有效式。
“(p→q)∧(r→s)∧(p∨r)→q∨s”这一推理式是（）
A、二难推理的简单构成式
B、二难推理的简单破坏式
C、二难推理的复杂构成式
D、二难推理的复杂破坏式
已知某有效三段论的大前提为O判断，试证明：(1)其小前提必为A判断;(2)该三段论为第三格OAO式。