利用反证法证明：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
举一反三
- 请用归谬赋值法判定下列命题是否为重言式：（（p→q）∧（r→s））∨（p∨r）→q∨s（（p→q）∧（r→s））∨（￢q∨￢s）→￢p∨￢r（（p→q）∧（r→s））∧（p∧r）→q∧s（f∨g→（q→（i«k）））∧（q∧i）∧（q∨m→f）→（i«k）
- 下列个符合命题的真值表有多少行？A. p→￢q ：_________B. (p∨￢r)∧(q∨￢s) ：_________C. q∨p∨￢s∨￢r∨￢t∨u ：_________D. (p∧r∧t)→(q∧t) ：_________
- ( )不是正确的推理形式。 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∨
- 下面公式是合取范式的有（） A: p B: ￢p C: p∨￢q D: p∨￢q∨ E: p∧￢q F: (p∧￢q)∨ G: (p∧￢q)∨r∨(p→r) H: ￢(p∧￢q)∨ I: p∧(q∨r) J: (p∨￢r)∧(￢q∨r)∧(￢p∨q∨r)
- 计算（￢P → Q）←→ R主析取范式规范正确的是 ——————— 。 A: (P ∧ Q ∧ ￢R) ∨ (P ∧ ￢Q ∧ R) ∨ (￢P ∧ Q ∧ R) ∨ ( ￢P ∧ ￢Q ∧ R) B: (P ∧ Q ∧ ￢R) ∨ (P ∧ ￢Q ∧ R) ∨ (￢P ∧ Q ∧ R) ∨ ( ￢P ∧ ￢Q ∧ R) C: ( P ∧ Q ∧ R)∨ (P ∧ ￢Q ∧ R)∨ (￢P ∧ Q ∧ R) ∨ (￢P ∧ ￢Q ∧ ￢R) D: (￢P ∧ ￢Q ∧ ￢R) ∨ (￢P ∧ Q ∧ R) ∨ (P ∧ ￢Q ∧ R) ∨ ( P ∧ Q ∧ R)