以“（p→q）→r”和“～r”为前提，可必然推出结论（）。
A: ～p∧q
B: r→p
C: q∨r
D: ～（～p∨q）
E: ～q∧p
A: ～p∧q
B: r→p
C: q∨r
D: ～（～p∨q）
E: ～q∧p
举一反三
- 以“～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∨～r”、“～q→～s”和“～p∧～q”为前提，可必然推出结论（）。 A: p B: ～s C: ～r∧p D: ～r E: s→q
- 以“如果p或q，那么r”和“非r”为前提，可必然推出结论 ( ) A: ¬p∧¬q B: p¬∧q C: ¬p∧q D: ¬p∨¬q
- 以“～（p∨q）←r”为一个前提，若加上另一个前提（）。 A: “r”，则能必然推出“～p∧～q” B: “～p∧～q”，则能必然推出“～r” C: “～r”，则能必然推出“p∨q” D: “p∨q”，则能必然推出“～r” E: “r”，则能必然推出“～p”