以下各栏为前提，可必然推出结论SOP的是（）。A、MAPSIPB、POMSIMC、MEPMISD、PIMMESE、MEPSAM
以下各栏为前提，可必然推出结论SOP的是（）。
- A、MAPSIP
- B、POMSIM
- C、MEPMIS
- D、PIMMES
- E、MEPSAM
相关考题：
以～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
单选题以“并非甲和乙都是有罪的”和“丙是有罪的”为前提进行推理，（）。A不能必然推出结论B能必然推出“甲和乙都不是有罪”的结论C能必然推出“甲无罪而乙有罪”的结论D能必然推出“丙有罪，但并非甲和乙都有罪”的结论
多选题以“～p”和“p←（q←r）”为前提，可必然推出结论（）。Ap←rB～p∨rCq→pDrE～（q←r）