以“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
- 以“～r→p”和“（～q∨～r）∧q”为前提，能必然推出结论（）。 A: ～r B: ～q C: ～p D: r→p E: p∧q
- 下列前提推出的结论是( ) ┐p∨q, q→r, ┐r A: p B: ┐p C: r→p D: q→p
- 以“～p”和“p←（q←r）”为前提，可必然推出结论（）。 A: p←r B: ～p∨r C: q→p D: r E: ～（q←r）
- 构造下列推理的证明。 （1）前提：¬P∨Q, ¬（Q∧R）,R；结论：¬P。 （2）前提：（P→Q）→（Q→R）,R→P;结论：Q→P。 （3）前提：P→（Q→R）, ¬S∨P;结论：Q→（S→R）。 （4）前提：¬P∧¬Q;结论：¬（P∧Q）。 （5）前提：P→¬Q,R∨S,S→¬Q;结论：¬P