以p 为一前提，应增补（）为另一前提进行有效推理，可得结论﹁q。

多项选择题下列各式为重言式的有（）。

A.（p→q）∧﹁p→﹁q
B.（p←q）∧p→q
C.（p∨q）∧﹁q→p
D.（p←q）∧q→p
E.（p∨q）∧p→﹁q

单项选择题不适用于“范畴”的逻辑方法有（）。

A.限制
B.概括
C.属加种差定义法
D.划分
E.分解

多项选择题以SAM 和MAP 为前提进行三段论推理，将所得结论作前提，再进行换位换位法推理，能必然推得的结论是（）。

A.SA﹁P
B.﹁POS
C.﹁SI﹁P
D.﹁PES
E.﹁PA﹁S

多项选择题由前提“p →（q ∧r）”再加上前提（），或必然得出结论﹁p。

A.q∨r
B.q∧﹁r
C.q∧r
D.﹁q∧﹁r
E.﹁q∧r

多项选择题概念外延间的关系中，属于对称关系的是（）。

A.同一关系
B.真包含关系
C.真包含于关系
D.交叉关系
E.全异关系