下列演绎推理式中,无效式为( )
A: (p←﹁q)∧q├﹁p
B: ( ﹁p→q)∧﹁p├q
C: (p∨q)∧﹁p├q
D: (要么﹁p要么q)∧﹁p├
q
E: (p→q)∧(q→﹁r)∧(﹁r→s)├(p→s)
A: (p←﹁q)∧q├﹁p
B: ( ﹁p→q)∧﹁p├q
C: (p∨q)∧﹁p├q
D: (要么﹁p要么q)∧﹁p├
q
E: (p→q)∧(q→﹁r)∧(﹁r→s)├(p→s)
A,D
举一反三
- 下列推理形式中，无效的有（）。 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）
- 下列演绎推理式中，无效式为______ A: B: A．p←﹁q，q├﹁q C: B．﹁p→q，﹁p├q D: C．p∨q，﹁p├q E: D． F: E．p→﹁q，q→﹁r，﹁r→s├p→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)∧p）→q C: （(要么p要么q)∧¬q）→p D: （(要么p要么q)∧q）→¬p
- 构造下列推理的证明。 （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
内容
- 0
下列推理中,错误的是( ) 。 A: p∧q⇒ p B: p∨q,q ⇒ p C: p→q,q→r⇒ p→ D: p↔q ,q↔r ⇒ p↔
- 1
下列推理形式中，有效式是（）。 A: 如果非p，那么非q；q；所以p B: 要么非p，要么q；非p；所以非q C: 只有非p，才q；非p；所以q D: 如果p，那么非q；非p；所以q E: p并且q并且r；所以p并且r
- 2
求┐P∨(Q∧R) →(P∨Q) ∧┐R的对偶式 A: (P∧(┐Q∧┐R)) ∧((P∧Q)∨┐R) B: (P∨(┐Q∧┐R)) ∧((P∧Q)∨┐R) C: (P∧(┐Q∧┐R)) →((P∧Q)∨┐R) D: (P∨(┐Q∨┐R)) ∧((P∧Q)∨┐R)
- 3
下列推理形式中，有效式是（） A: （p∨q）→﹁r，p├﹁r B: ﹁（p∨﹁q）├p C: （p→q）∧﹁p├﹁q D: ﹁p∨q∨r├r
- 4
( )不是正确的推理形式。 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