下列演绎推理式中,无效式为( )
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: （（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