以“～（p∨q）←r”为一个前提，若加上另一个前提（）。
A: “r”，则能必然推出“～p∧～q”
B: “～p∧～q”，则能必然推出“～r”
C: “～r”，则能必然推出“p∨q”
D: “p∨q”，则能必然推出“～r”
E: “r”，则能必然推出“～p”
A: “r”，则能必然推出“～p∧～q”
B: “～p∧～q”，则能必然推出“～r”
C: “～r”，则能必然推出“p∨q”
D: “p∨q”，则能必然推出“～r”
E: “r”，则能必然推出“～p”
举一反三
- 以～p为一个前提进行演绎推理，如果（）。 A: 加上前提（p∨q），则能必然推出结论q B: 加上前提（q∨～p），则能必然推出结论q C: 加上前提（p→q），则能必然推出结论～q D: 加上前提～q，则能必然推出结论（～q∧～p） E: 加上前提（q→p），则能必然推出结论～q
- 【多选题】以 (~p→q)为大前提 A. 若加上小前提～ P，则能推出～q B. 若加上小前提～ P，则能推出q C. 若加上小前提 q，则能推出～p D. 若加上小前提 q，则能推出p E. 若加上小前提～ q，则能推出p
- 以“（p→q）→r”和“～r”为前提，可必然推出结论（）。 A: ～p∧q B: r→p C: q∨r D: ～（～p∨q） E: ～q∧p
- 以“～r→p”和“（～q∨～r）∧q”为前提，能必然推出结论（）。 A: ～r B: ～q C: ～p D: r→p E: p∧q
- 以“～p”和“p←（q←r）”为前提，可必然推出结论（）。 A: p←r B: ～p∨r C: q→p D: r E: ～（q←r）