前提条件p→q,r∨¬q, p的有效结论是( ) 。
A:
B: ¬
C: ¬p
D: ¬q
A:
B: ¬
C: ¬p
D: ¬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
- 以“p∨q→r”和“﹁r”为前提，能有效推出的结论是( )。 A: p∧q B: p∨q C: ﹁(﹁p→q) D: ﹁(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
- 前提条件p→q,¬q的有效结论是()。 A: p B: ¬q C: ¬p D: q
- 试证明以下结论是有效结论 前提：(p→q)∧(r→s)，(q→t)∧(s→u)，¬(t∧u)，p→r 结论：¬p