以“～p”和“p←（q←r）”为前提，可必然推出结论（）。
A: Ap←r
B: B～p∨r
C: Cq→p
D: Dr
E: E～（q←r）
A: Ap←r
B: B～p∨r
C: Cq→p
D: Dr
E: E～（q←r）
举一反三
- 以“～p”和“p←（q←r）”为前提，可必然推出结论（）。 A: p←r B: ～p∨r C: q→p D: r E: ～（q←r）
- 以“（p→q）→r”和“～r”为前提，可必然推出结论（）。 A: ～p∧q B: r→p C: q∨r D: ～（～p∨q） E: ～q∧p
- 以“～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”为一个前提，若加上另一个前提（）。 A: “r”，则能必然推出“～p∧～q” B: “～p∧～q”，则能必然推出“～r” C: “～r”，则能必然推出“p∨q” D: “p∨q”，则能必然推出“～r” E: “r”，则能必然推出“～p”