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