单项选择题
A.相同的逻辑常项，相同的逻辑变项 B.不同的逻辑常项，相同的逻辑变项 C.相同的逻辑常项，不同的逻辑变项 D.不同的逻辑常项，不同的逻辑变项
A.从个别推出个别 B.从个别推出一般 C.结论都是或然性的 D.前提蕴涵结论
A.小于 B.等于 C.超出 D.有时等于有时超出
A.有效的充分条件假言推理形式 B.非有效的充分条件假言推理形式 C.有效的必要条件假言推理形式 D.非有效的必要条件假言推理形式
A.小于 B.等于 C.超出了 D.有时等于有时超出了
A.所有的科学家都不是天生聪明的 B.有的科学家是天生聪明的 C.没有一个科学家不是天生聪明的 D.科学家不都是天生聪明的
A.可同真可同假 B.可同真不可同假 C.不可同真可同假 D.不可同真不可同假
A. 全同 B.真包含于 C.真包含 D.交叉
A.∧→p∨q B.p∨q→p∧q C.p∨q→（p∧q）∨（∧） D.p→q→∧q E.p←q→p∧
A.（p∧q∧r）→（p∧r） B.（（→）∧q）→p C.（（p∨q）∧p）→ D.（（←q）∧）→q E.（（p→）∧）→q
A.间接证明的方法 B.间接反驳的方法 C.运用了选言推理的否定肯定式 D.运用了假言推理的否定后件式 E.运用了矛盾律