推理证明:p→(q∧r),Øq∨s,(t→Øu)→Øs,q→(p∧Øt)Þq→t
⑴q P(附加前提) ⑵Øq∨s P ⑶s T⑴⑵析取三段论 ⑷(t→Øu)→Øs P ⑸Ø(t→Øu) T⑶⑷拒取式 ⑹Ø(Ø t∨Øu) T⑸条件等价式 ⑺t∧u T⑹德·摩根律 ⑻t T⑺化简律 ⑼q→t CP规则
举一反三
- 推理证明:(p→q)∧(r→s),(q→t)∧(s→u),Ø(t∧u),p→rÞØp
- 推理证明:p→(q∨r),(t∨s)→p,(t∨s)Þq∨
- 推理证明下列各题的有效结论。 ⑴p→ (q∨r )， (t∨ s)→p，(t∨ s) q∨r ⑵p∧q， (p? q)→ (t∨ s) (t∨ s)
- 推理证明:p∧q,(p↔q)→(t∨s)Þ(t∨s)
- 证明: (p∧q)→r，¬r∨s，¬s，p蕴含¬q 过程如下： 证明： ⑴ q P(附加前提) ⑵ ¬r∨s P ⑶ ¬s P ⑷ ¬r T⑵⑶I ⑸ (p∧q)→r P ⑹ ¬(p∧q) T⑷⑸I ⑺ ¬p∨¬q T⑹E ⑻ p P ⑼ ¬q T⑺⑻I ⑽ q∧¬q(矛盾) T⑴⑼I 以上证明方法是用归谬法，证明过程是正确的
内容
- 0
试证明以下结论是有效结论 前提：(p→q)∧(r→s)，(q→t)∧(s→u)，¬(t∧u)，p→r 结论：¬p
- 1
试证明以下结论是有效结论 前提：p→(q→r), r→(¬s∨t), ¬u→(s∧¬t), p 结论：q→u
- 2
下列个符合命题的真值表有多少行？A. p→￢q ：_________B. (p∨￢r)∧(q∨￢s) ：_________C. q∨p∨￢s∨￢r∨￢t∨u ：_________D. (p∧r∧t)→(q∧t) ：_________
- 3
利用反证法证明：R∨S，R→￢Q，S→￢Q,P→Q=>￢P请将下面推理论证的过程补充完整。(说明：输入答案时，不要输入多余的空格)证明过程如下：（1）（ ） 假设前提 （2）P→Q P（3） Q T(1)(2) I（4）S→￢Q P（5）( ) T(3)(4) I（6）R∨S P（7）R T(5)(6) I（8）R→￢Q P（9）￢Q T(7)(8) I（10）（ ）矛盾 T(3)(9) I
- 4
( )不是正确的推理形式。 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