04 推理理论.ppt

命题逻辑的推理理论 主要内容 推理的形式结构 判断推理正确的方法 真值表法 等值演算法 主析取范式法 命题逻辑的推理理论 主要内容(续) 推理定律 构造推理证明的方法 直接证明法 附加前提证明法 归谬法(反证法) 命题逻辑的推理理论 基本要求 理解并记住推理形式结构的两种形式 1. (A1?A2?…?Ak)?B 2. 前提：A1, A2, … , Ak，结论：B 熟练掌握判断推理是否正确的不同方法 真值表法、等值演算法、主析取范式法等 命题逻辑的推理理论 基本要求 牢记各条推理规则 熟练掌握构造证明的方法 直接证明法、附加前提证明法和归谬法 会解决实际中的简单推理问题 推理理论的基本思想 什么是推理理论？ 人类思维过程中需要研究推导过程是否合理 命题逻辑、一阶谓词逻辑概念/符号刻划推理事实(前提、结论) 逻辑公式刻划推理事实之间的关系 如何进行符号推理过程？ 命题逻辑中验证推理有效/正确的方法 前提及结论组合成蕴涵逻辑公式 证明该蕴涵逻辑公式为重言式 真值表法 等值演算法 主析取范式法 推理理论的基本思想 什么是推理理论？ 真值表法 n元公式的真值表行数2n，单元格个数？ 更多采用推导法建立 等值演算法 主析取范式法 推理实例 判断下面推理是否正确 若今天是1号，则明天是5号。 今天是1号，所以明天是5号 推理实例 若今天是1号，则明天是5号。今天是1号，所以明天是5号 解：设 p：今天是1号，q：明天是5号 (p?q)?p?q 用等值演算法 ??((?p?q)?p)?q 蕴涵表达式 ??p??q?q ?1 推理正确、结论错误！ 推理的形式结构 定义：设A1, A2, …, Ak, B为命题公式 若对于每组赋值，A1?A2?…? Ak为假(或当A1?A2?…?Ak为真时，B也为真) 则称由前提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，若推理正确, 记为A1, A2, …, Ak?B 前提： A1, A2, …, Ak，结论： B 推理理论的基本思想 推理理论 用数学方法刻划推导方法 如何进行推理？ 反复利用重言式 书写相对繁复 与实际推理过程有差异 是否足够？ 推理理论的基本思想 (?A??C)??((A?B)?C)化简为?A??C 即证明：(?A??C)??((A?B)?C)??A??C (?A??C)??((A?B)?C) De. Morgan ?(?A??C)?((?(A?B)??C) De. Morgan ?(?A??C)?((?A??B)??C) 分配律 ?(?A??C)?((?A??C)?(?B??C)) 吸收律 ?(?A??C) 推理理论的基本思想 (?A??C)??((A?B)?C)??A??C 利用已知命题恒等式 基本恒等式：公理 利用推理规则 什么是推理规则？ 推理理论的基本思想 ?((A?B)?C)??(A?B)??C De. Morgan 定律 ?(A?B)??A??B 形式结构上有差异 需要代入规则 推理理论的基本思想 ?((A?B)?C)??(A?B)??C (?A??C)?((?(A?B)??C)?(?A??C)?((?A??B)??C) 需要替换规则 推理理论的基本思想 推理过程基本思想 (基本)重言式 (基本)推理规则 代入规则 替换规则 导出规则 有已知重言式导出 推理规则 (1) 前提引入规则 (2) 结论引入规则 (3) 代入/替换规则 推理规则 (4) 假言推理/分离规则 蕴涵式为真、前件为真，则后为真 若今天下雪，则去滑雪 今天下雪 所以去滑雪 推理规则 (5) 附加规则 当前气温在零度以下 所以，当前气温零度以下或正在下雨 推理规则 (6) 化简规则 当前气温零度以下且正在下雨 所以，当前气温在零度以下 推理规则 (7) 拒取式规则 蕴涵式为真、后件为假，则前件为假 若今天下雪，则去滑雪 没去滑雪 所以，今天没下雪 推理规则 (8) 假言三段论规则 蕴涵传递 若今天下雨，则今天不野餐 若今天不野餐，则明天野餐 所以，若今天下雨，则明天野餐 推理规则 (9) 析取三段论规则 当前要么气温零度以下，要么下雨 当前没下雨 所以，当前气温零度以下 推理规则 (10) 构造性二难推理规则 若今天下雨，则今天不野餐 若今天周四，则今天开会