九、判定下列推理形式是否为有效推理形式：( p → q )( q → r )( r → s )——————————（（¬ s）→（ ¬ p）） A: 是 B: 不是

2022-05-26

九、判定下列推理形式是否为有效推理形式：( p → q )( q → r )( r → s )——————————（（¬ s）→（ ¬ p））
A: 是
B: 不是

答案：

A

0
‌( )不是正确的推理形式。‏ 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
1
下列推理形式中，无效的有（）。 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）
2
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有
3
( )不是正确的推理形式。 A: 前提：￢p∧q,p∨￢r,r∨s,s→u 结论：u B: 前提：(p∧q)→r, ￢r∨s,￢s,p 结论：￢q C: 前提：(p∧q)→r,￢r∨s, ￢s,p 结论：q D: 前提：p∨q,p→s,q→r 结论：s∨
4
以(﹁p∨﹁q)∧(r∧s)为前提进行推理，可以有效推出的结论有? ﹁p∨﹁q|r∧s|r∨s|﹁p∧﹁q