以¬p为一前提，应增补（ ）或（ ）为另一前提，可必然推出结论q。
A: q↔p
B: q→¬ p
C: ¬ p→ q
D: pV¬ q
E: pVq
A: q↔p
B: q→¬ p
C: ¬ p→ q
D: pV¬ q
E: pVq
举一反三
- 以“如果以¬p∧¬ q，那么r“，与“¬ r”为前提，可必然推出结论（ ）。 A: p∧q B: ¬p∧¬q C: pVq D: ¬pV¬q
- 以～p为一个前提进行演绎推理，如果（）。 A: 加上前提（p∨q），则能必然推出结论q B: 加上前提（q∨～p），则能必然推出结论q C: 加上前提（p→q），则能必然推出结论～q D: 加上前提～q，则能必然推出结论（～q∧～p） E: 加上前提（q→p），则能必然推出结论～q
- 以“（p→q）→r”和“～r”为前提，可必然推出结论（）。 A: ～p∧q B: r→p C: q∨r D: ～（～p∨q） E: ～q∧p
- 以“如果p或q，那么r”和“非r”为前提，可必然推出结论 ( ) A: ¬p∧¬q B: p¬∧q C: ¬p∧q D: ¬p∨¬q
- 以“－p∨－q←－r”为前提，再加上前提（ ）或( )可推出 r。 A: q B: p→－q C: p∨q D: p∧q E: －（－p∨－q）