运用反证法进行论证时，主要运用的推理形式是充分条件假言推理的（）

多项选择题下列三段论形式中，第三格的有效式为（）

A.EAO
B.IAI
C.AEE
D.EAE
E.AAA

多项选择题从对称性和传递性两个方面分析，“超越”是（）关系和（）关系。

A.对称
B.非对称
C.反对称
D.传递
E.非传递

多项选择题由大前提“PEM”，可推知其小前提应是（）或（）。

A.SIM
B.SOM
C.MOS
D.MAS
E.MES

多项选择题当S与P是真包含于关系时，构成的真判断是（）和（）。

A.SAP
B.SEP
C.SIP
D.SOP
E.这个S不是P

多项选择题当S与P是交叉关系时，性质判断中的（）和（）是真的。

A.SAP
B.SEP
C.SIP
D.SOP
E.某个S是P