九、判定下列推理形式是否为有效推理形式：
( p → q )
( q → r )
( r → s )
——————————
（（¬ s）→（ ¬ p））
是
举一反三
- 判定下列推理形式是否为有效推理形式：</p><p>( p ∨ q )</p><p>( p → r )</p><p>( q → r )</p><p>————————</p><p>r</p>
- 九、判定下列推理形式是否为有效推理形式：( p → q )( q → r )( r → s )——————————（（¬ s）→（ ¬ p）） A: 是 B: 不是
- 下列推理形式中，有效的是 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）
- 判定下列推理形式是否为有效推理形式： ( p ∨ q ) ( p → r ) ( q → r ) ———————— r
内容
- 0
下列推理形式中，有效式是（） A: （p∨q）→﹁r，p├﹁r B: ﹁（p∨﹁q）├p C: （p→q）∧﹁p├﹁q D: ﹁p∨q∨r├r
- 1
( )不是正确的推理形式。 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
- 2
( )不是正确的推理形式。 A: 前提： ~p∧q, p∨~r, r∨s, sÞu结论： u B: 前提： p∨q, pÛr, ~q∨s结论： s∨r C: 前提： pÞ(qÞr)结论： (pÞq)Þ(pÞr) D: 前提： (p∧q)Þr, ~r∨s, ~s, p结论： q
- 3
构造下列推理的证明。 （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
- 4
能够成立的推理形式是（） A: （（p∨q）→r）∧p├┑r B: ┑（p∧q）├p C: （p→q）∧┑q├┑p D: p∨q∨r├r