下列推理形式中，有效的是
A: (p∨～q)∧p→～q
B: (p→～q)∧q→～p
C: (～p←q)∧q→～p
D: (p∨～q)∧q→～p
E: [(p→q)∧(r→s)∧(～p∨～r)]→(～q∨～s)
A: (p∨～q)∧p→～q
B: (p→～q)∧q→～p
C: (～p←q)∧q→～p
D: (p∨～q)∧q→～p
E: [(p→q)∧(r→s)∧(～p∨～r)]→(～q∨～s)
举一反三
- 下列推理形式中，无效的有（）。 A: （（p∨～q）∧q）→～p B: （（p∧q）∧r）→（p∧r） C: （（～p→q）∧q）→～p D: （（p→q）∧（r∧p））→q E: （p→q）∧（r→s）∧（q∨s））→（p∨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
- 下列推理形式中，有效式是（） A: （p∨q）→﹁r，p├﹁r B: ﹁（p∨﹁q）├p C: （p→q）∧﹁p├﹁q D: ﹁p∨q∨r├r
- 下列演绎推理式中,无效式为( ) A: (p←﹁q)∧q├﹁p B: ( ﹁p→q)∧﹁p├q C: (p∨q)∧﹁p├q D: (要么﹁p要么q)∧﹁p├<br/>q E: (p→q)∧(q→﹁r)∧(﹁r→s)├(p→s)
- ( )不是正确的推理形式。 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