离散数学第一次业最新版.docVIP

4.用等值演算法证明下面等值式： （教材P42. 4.（2）（4）） (2)(p→q)∧(p→r)(p→(q∧r)) (4)(p∧q)∨(p∧q)(p∨q) ∧(p∧q) 证明：（2）(p→q)∧(p→r) （ p∨q）∨（p∨r） p∨(q∧r) (p→(q∧r)) (4) (p∧q)∨(p∧q) (p∨(p∧q)) ∧(q∨(p∧q) (p∨p)∧(p∨q)∧(q∨p) ∧(q∨q) 1∧(p∨q)∧(p∧q)∧1 (p∨q)∧(p∧q) 在自然推理系统P中构造下面推理的证明： （教材P58. 14.（4）（5）） （4）前提：qp,qs,st,tr 结论：pq （5）前提：pr,qs,pq 结论：rs 证明： （4）：①tr 前提引入 ②t ①化简律 ③qs 前提引入 ④st 前提引入 ⑤qt ③④等价三段论 ⑥（qt）(tq)? ⑤ 置换 ⑦（qt） ⑥化简 ⑧q ②⑥ 假言推理 ⑨qp 前提引入 ⑩p ⑧⑨假言推理 eq \o\ac(○,11)：pq ⑧⑩合取 （5） (5)①pr 前提引入 ②q→S 前提引入 ③p∧q 前提引入 ④p ③化简 ⑤q ③化简 ⑥r ①④假言推理 ⑦s ②⑤假言推理 ⑧r∧s ⑥⑦合取 18. 在自然推理系统P中构造下面推理证明 （教材P59. 18） 如果今天是星期六，我们就要到颐和园或圆明园去玩，如果颐和园游人太多，我们就不去颐和园玩，今天是周六颐和园游人太多，所以我们去圆明园玩。 如果小王是理科生，则他的数学成绩一定很好。如果小王不是文科生，则他一定是理科生。小王的数学成绩不好。所以小王是文科生。 证明：（1） 设 p：今天是星期六，q：我们到颐和园玩，r:我们到圆明园玩，s:颐和园游人太多 前提：p (q∨r), s q ,p ,s 结论：r 推理：① s q 前提引入 ② s 前提引入 ③ q ①②假言推理 ④ p 前提引入 ⑤ p(q∨r) 前提引入 ⑥ q∨r ④⑤假言推理 ⑦ r ③⑥析取三段论 （2） (2)设p：小王是理科生，q：小王数学成绩好，r：小王不是文科生 前提:p→q, ┐r→P, ┐q 结论:r 推理：① pq 前提引入 ② q 前提引入 ③ p ①②假言推理 ④r p 前提引入 ⑤ r ③④合取