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.SAP
B.SEP
C.SIP
D.SOP

A.都是有效的
B.都是无效的
C.（一）有效，（二）无效
D.（一）无效，（二）有效

A.正确的对称性关系推理
B.正确的传递性关系推理
C.不正确的对称性关系推理
D.不正确的传递性关系推理