若以“p→（q→r）”和“～r”为前提构成的推理，能必然得出结论（）。
A: ～p
B: ～q
C: ～p∧～q
D: ～p∨～q
A: ～p
B: ～q
C: ～p∧～q
D: ～p∨～q
举一反三
- 若以“p→（q→r）”和“～r”为前提构成的推理，能必然得出结论（）。 A: A～p B: B～q C: C～p∧～q D: D～p∨～q
- 构造下列推理的证明。 （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
- 以“～r→p”和“（～q∨～r）∧q”为前提，能必然推出结论（）。 A: ～r B: ～q C: ～p D: r→p E: p∧q
- ( )不是正确的推理形式。 A: 前提： p∨q, pÛr, ~q∨s 结论： s∨ B: 前提： ~p∧q, p∨~r, r∨s, sÞu 结论： u C: 前提： pÞ(qÞr) 结论： (pÞq)Þ(pÞr) D: 前提： (p∧q)Þr, ~r∨s, ~s, p 结论： q
- ( )不是正确的推理形式。 A: 前提： ~p∧q, p∨~r, r∨s, sÞu结论： u B: 前提： p∨q, pÛr, ~q∨s结论： s∨r C: 前提： pÞ(qÞr)结论： (pÞq)Þ(pÞr) D: 前提： (p∧q)Þr, ~r∨s, ~s, p结论： q