多选题以下列各组命题形式为前提,可必然推出结论SOP的是().AMAP∧SIMBPOM∧SAMCMEP∧MISDPIM∧MESEMEP∧SAM
多选题
以下列各组命题形式为前提,可必然推出结论SOP的是().
A
MAP∧SIM
B
POM∧SAM
C
MEP∧MIS
D
PIM∧MES
E
MEP∧SAM
参考解析
解析:
暂无解析
相关考题:
以~p为一个前提进行演绎推理,如果()。A、加上前提(p∨q),则能必然推出结论qB、加上前提(q∨~p),则能必然推出结论qC、加上前提(p→q),则能必然推出结论~qD、加上前提~q,则能必然推出结论(~q∧~p)E、加上前提(q→p),则能必然推出结论~q
以“并非甲和乙都是有罪的”和“丙是有罪的”为前提进行推理,()。A、不能必然推出结论B、能必然推出“甲和乙都不是有罪”的结论C、能必然推出“甲无罪而乙有罪”的结论D、能必然推出“丙有罪,但并非甲和乙都有罪”的结论
多选题以~p为一个前提进行演绎推理,如果()。A加上前提(p∨q),则能必然推出结论qB加上前提(q∨~p),则能必然推出结论qC加上前提(p→q),则能必然推出结论~qD加上前提~q,则能必然推出结论(~q∧~p)E加上前提(q→p),则能必然推出结论~q
多选题以“~p”和“p←(q←r)”为前提,可必然推出结论()。Ap←rB~p∨rCq→pDrE~(q←r)