以“如果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
A
举一反三
- 以“（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
内容
- 0
以“如果p那么q”和“并非（q并且非r）”为前提进行演绎推理，能必然推出的结论是。 A: 如果p那么q，并且如果q那么r B: 如果q那么p C: 如果r那么p D: 如果非p那么非r
- 1
以“p∨～r”、“～q→～s”和“～p∧～q”为前提，可必然推出结论（）。 A: p B: ～s C: ～r∧p D: ～r E: s→q
- 2
以“－p∨－q←－r”为前提，再加上前提（ ）或( )可推出 r。 A: q B: p→－q C: p∨q D: p∧q E: －（－p∨－q）
- 3
以“～（p∨q）←r”为一个前提，若加上另一个前提（）。 A: “r”，则能必然推出“～p∧～q” B: “～p∧～q”，则能必然推出“～r” C: “～r”，则能必然推出“p∨q” D: “p∨q”，则能必然推出“～r” E: “r”，则能必然推出“～p”
- 4
以"如果P且q，那么 "和"r" 为前提，可必然推出的结论是（）。 A: A非P并且非q B: BP并且q C: C非P并且q D: D非P或者非r