以“如果p或q，那么r”和“非r”为前提，可必然推出结论 ( )
A: ¬p∧¬q
B: p¬∧q
C: ¬p∧q
D: ¬p∨¬q
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，那么r“，与“¬ r”为前提，可必然推出结论（ ）。 A: p∧q B: ¬p∧¬q C: pVq D: ¬pV¬q
- 以“～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
- 以"如果P且q，那么 "和"r" 为前提，可必然推出的结论是（）。 A: 非P并且非q B: P并且q C: 非P并且q D: 非P或者非r