九、判定下列推理形式是否为有效推理形式：( p → q )( q → r )( r → s )——————————（（¬ s）→（ ¬ p））
A: 是
B: 不是
A: 是
B: 不是
举一反三
- 九、判定下列推理形式是否为有效推理形式：</p><p>( p → q )</p><p>( q → r )</p><p>( r → s )</p><p>——————————</p><p>（（¬ s）→（ ¬ p））</p>
- 判定下列推理形式是否为有效推理形式： ( p ∨ q ) ( p → r ) ( q → r ) ———————— r
- 判定下列推理形式是否为有效推理形式：</p><p>( p ∨ q )</p><p>( p → r )</p><p>( q → r )</p><p>————————</p><p>r</p>
- ( )不是正确的推理形式。 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
- 下列推理形式中，有效的是 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)