Chapter1—命题逻辑.ppt

证明: ① p??q 前提引入 ② ?q ? r 前提引入 ③ p ? r ① ②假言三段论 ④ r ? (? p ∧ ? q) 前提引入 ⑤ p ? (? p ∧ ? q) ③ ④假言三段论 ⑥?p∨(?p∧?q) ⑤蕴涵等值A?B??A∨B ⑦ ?p ⑥吸收率p∨(p∧q)?p ⑧ ? p ?q 前提引入 ⑨ q ⑦ ⑧假言推理 ⑩ q ?? r 前提引入 ⑾ ? r ⑨ ⑩假言推理 ⑿ ? p∧q∧? r ⑦ ⑨ ⑾合取引入规则p23 因此由上述推理可知：张三说假话，王五说假话，只有李四说真话。 两种特殊的证明方法——1、附加前提证明法 适用于此类蕴涵式的证明 　 (A1 ∧ A2 ∧ … ∧ Ak ) ?(A ? B ) (*) 欲证明(*)式，只需证明 　 (A1 ∧ A2 ∧ … ∧ Ak ∧ A ) ? B 即可，因为 (*) 式 ? ?(A1 ∧ A2 ∧ … ∧ Ak ) ∨ (A ? B ) ? ?(A1 ∧ A2 ∧ … ∧ Ak ) ∨ (? A ∨ B ) ? (?A1 ∨ ? A2 ∨ … ∨ ? Ak ) ∨ (? A ∨ B ) ? ?A1 ∨ ? A2 ∨ … ∨ ? Ak ∨ ? A ∨ B ? (?A1 ∨ ? A2 ∨ … ∨ ? Ak ∨ ? A )∨ B ? ?(A1 ∧ A2 ∧ … ∧ Ak ∧ A) ∨ B ? (A1 ∧ A2 ∧ … ∧ Ak ∧ A) ? B 注: A ?B ?? A∨B ?(A∧B) ?? A∨? B 例1.26：用附加前提证明法证明下面推理 前提：p ?(q ? r) , ? s∨p , q 结论：s ?r 证明： ① ? s∨p 前提引入 ② s 附加前提引入 ③ p ① ②析取三段论 A∨B, ? B ? A ④ p ?(q ? r) 前提引入 ⑤ q ? r ③④ 假言推理 ⑥ q 前提引入 ⑦ r ⑤⑥假言推理 第一章 命题逻辑 由附加前提证明法知 (A1 ∧ A2 ∧ … ∧ Ak ) ?(A ? B ) 可归结为证明 (A1 ∧ A2 ∧ … ∧ Ak ∧ A ) ? B 即((p ?(q ? r))∧(? s∨p)∧q) ?(s ?r ) 所以s 变为前提 两种特殊的证明方法——2、归谬法 适用于此类蕴涵式的证明 　 (A1 ∧ A2 ∧ … ∧ Ak ) ? B (*) 欲证明(*)式，只需将? B作为前提能推出矛盾来即可。因为： (*) ?? (A1 ∧ A2 ∧ … ∧ Ak ) ∨ B ?? (A1 ∧ A2 ∧ … ∧ Ak ∧ ? B） 若 (A1 ∧ A2 ∧ … ∧ Ak ∧ ? B）为矛盾式，则 (A1 ∧ A2 ∧ … ∧ Ak ) ? B 为重言式 ，即 (A1 ∧ A2 ∧ … ∧ Ak ) = B 例：构造下面的推理证明 前提：p ? ? q , ? r ∨q , r ∧ ? s 结论： ? p 证明： ① p 结论否定引入 ② p ? ? q 前提引入 ③ ? q ①