下列推理形式中，有效式是（）
A: （p∨q）→﹁r，p├﹁r
B: ﹁（p∨﹁q）├p
C: （p→q）∧﹁p├﹁q
D: ﹁p∨q∨r├r
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）∧r）→（p∧r） C: （（～p→q）∧q）→～p D: （（p→q）∧（r∧p））→q E: （p→q）∧（r→s）∧（q∨s））→（p∨r）
- 求┐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)
- 能够成立的推理形式是（） A: （（p∨q）→r）∧p├┑r B: ┑（p∧q）├p C: （p→q）∧┑q├┑p D: p∨q∨r├r
- 下列推理形式中，有效的是 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)
- 公式（p∨q）→r的主合取范式是（ ） A: (P∨Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) B: (┐P∨Q∨R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) C: (P∨┐Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) D: (┐P∨Q∨┐R)∧(┐P∨┐Q∨R)∧(┐P∨┐Q∨┐R)