A.﹁(﹁p→﹁q)B.﹁(p∧﹁q)C.﹁(p←q)D.﹁p→﹁qE.﹁p↔q
单项选择题下列违反矛盾律的命题是()。
A.SAP∧SEPB.SIP∧SO﹁PC.﹁(SAP)∧﹁(SEP)D.SAP∧﹁(SIP)E.﹁(SAP)∧﹁(SOP)
多项选择题以p 为一前提,应增补()为另一前提进行有效推理,可得结论﹁q。
A.﹁p↔qB.p强析取qC.p←﹁qD.﹁q→pE.p∨q
多项选择题下列各式为重言式的有()。
A.(p→q)∧﹁p→﹁qB.(p←q)∧p→qC.(p∨q)∧﹁q→pD.(p←q)∧q→pE.(p∨q)∧p→﹁q
单项选择题不适用于“范畴”的逻辑方法有()。
A.限制B.概括C.属加种差定义法D.划分E.分解
多项选择题以SAM 和MAP 为前提进行三段论推理,将所得结论作前提,再进行换位换位法推理,能必然推得的结论是()。
A.SA﹁PB.﹁POSC.﹁SI﹁PD.﹁PESE.﹁PA﹁S