判定下列推理形式是否为有效推理形式:
( p ∨ q )
( p → r )
( q → r )
————————
r
举一反三
- 九、判定下列推理形式是否为有效推理形式:</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
- 下列推理形式中,有效式是() 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)∧┑q├┑p 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)