-3命题逻辑的推理理论.pptVIP

* 形如A→B的重言式在推理中十分重要。 ????若A→B为重言式，则称B为A的推论，记为A形如A→B的重言式在推理中十分重要。 ????若A→B为重言式，则称B为A的推论，记为A?B，下面是几个重要的重言蕴涵式及其名称。 * 在构造证明时，采用一些技巧会带来很大方便，下面介绍两种方法： * 请考虑直接证明法，如何证明？ * 请用直接证明法证明。 自然推理系统的定义 （4）假言推理规则 A?B A ? B （5）附加规则 A ? A?B （6）化简规则 A?B ?A 若今天下雪,则将去滑雪（A?B）。 今天下雪（A），所以去滑雪（ B ）。 现在气温在冰点以下（A）。因此，要么现在气温在冰点以下，要么现在下雨（ A?B ）。 现在气温在冰点以下并且正在下雨（ A?B ）。因此，现在气温在冰点以下（A）。 * 自然推理系统的定义 （7）拒取式规则 A?B ?B  ? ?A （8）?假言三段论规则 A?B B?C  ? A?C （9）析取三段论规则 A?B ?B ? A * 自然推理系统的定义 （10）构造性二难推理规则 A?B C?D A?C ? B?D （11）破坏性二难推理规则 A?B C?D ?B??D ? ?A??C （12） 合取引入规则 A B ? A?B * 在自然推理系统P中构造证明 问题：如何利用推理系统构造证明？（核心问题） 思路： P中构造证明就是由一组P中公式作为前提，利用P中的规则，推出结论。 构造形式结构A1?A2?…?Ak ? B 的推理的书写方法：前提： A1,A2,…,Ak 结论： B 证明方法： 1.直接证明法 2.附加前提法 3.归谬法（或称反证法） * 直接证明 例3.3-1： 在自然推理系统P中构造下面推理的证明：前提：┐p∨q, r∨┐q ,r→s 结论：p→s ① ┐p∨q? ?? 前提引入 ② p→q ????? ①置换 ③ r∨┐q? ?? 前提引入 ④ q→r ????? ③置换 ⑤ p→r ????? ②④假言三段论 ⑥ r→s ????? 前提引入 ⑦ p→s ???? ?⑤⑥假言三段论 * 直接证明 例3.3-2： 在自然推理系统P中构造下面推理的证明：前提：p→（q→r）, p∧q 结论： ┐r→s ① p→（q→r） ?? 前提引入 ② p∧q ????? 前提引入 ③ p? ?? ②化简 ④ q ????? ②化简 ⑤ q→r ? ???? ①③假言推理 ⑥ r ????? ④⑤假言推理 ⑦ r∨s ???? ⑥附加 ⑧ ┐r→s ⑦置换 * 直接证明 例3.4 在自然推理系统P中构造下面推理的证明： ????若数a是实数，则它不是有理数就是无理数；若a不能表示成分数，则它不是有理数；a是实数且它不能表示成分数。所以a是无理数。 构造证明： （1）将简单命题符号化： 设 p：a是实数。 ??? q：a是有理数。??? r：a是无理数。 ??? s：a能表示成分数。 （2）形式结构： 前提：p→(q∨r), ┐s→┐q, p∧┐s? 结论：r * ① p∧┐s ??? 前提引入 ② p???????? ①化简 ③ ┐s?????? ①化简 ④ p→(q∨r) 前提引入 ⑤ q∨r ????? ②④假言推理 ⑥ ┐s→┐q? 前提引入 ⑦ ┐q ?????? ③⑥假言推理 ⑧ r ???????? ⑤⑦析取三段论 直接证明 前提：p→(q∨r), ┐s→┐q, p∧┐s 结论：r * 附加前提法 问题：如果推理的形式结构具有如下形式 ： 前提：A1, A2, …, Ak 结论：C?B 解决办法：将结论中的前件也作为推理的前提，使结论只为B。 即：前提：A1, A2, …, Ak, C 结论：B 证明： (A1?A2?…?Ak)?(C?B) ? ?( A1?A2?…?Ak)?(?C?B) ? (?( A1?A2?…?Ak)??C?B ? ?( A1?A2?…?