已知p→（q∨r）为真，若要推出～p，必须加上前提（）。
A: ～q
B: ～r
C: ～q∨～r
D: ～q∧～r
A: ～q
B: ～r
C: ～q∨～r
D: ～q∧～r
举一反三
- 已知“p→（q∨r）”为真，若要推出“～p”，则需加上前提。 A: ～r B: ～q C: ～q∧～r D: ～q∨～r
- 已知“p→(q∨r)”为真，若要推出“～p”，则需加上前提
- 以“～（p∨q）←r”为一个前提，若加上另一个前提（）。 A: “r”，则能必然推出“～p∧～q” B: “～p∧～q”，则能必然推出“～r” C: “～r”，则能必然推出“p∨q” D: “p∨q”，则能必然推出“～r” E: “r”，则能必然推出“～p”
- 以“（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