ch3命题逻辑的推理课件.pptxVIP

第三章 命题逻辑的推理理论主要内容推理的形式结构推理的正确与错误推理的形式结构判断推理正确的方法推理定律自然推理系统P形式系统的定义与分类自然推理系统P在P中构造证明:直接证明法、附加前提证明法、归谬法3.1 推理的形式结构定义3.1 设A1, A2, …, Ak, B为命题公式. 若对于每组赋值，A1?A2?…? Ak 为假，或当A1?A2?…?Ak为真时，B也为真，则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确的, 并称B是有效结论.例3.1 判断下列推理是否正确（1） {p,p?q}|--q（2） {p,q?p}|--q真值表法注意: 推理正确不能保证结论一定正确3.1 推理的形式结构?3.1 推理的形式结构定义3.1 设A1, A2, …, Ak, B为命题公式. 若对于每组赋值，A1?A2?…? Ak 为假，或当A1?A2?…?Ak为真时，B也为真，则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确的, 并称B是有效结论.定理3.1 由命题公式A1, A2, …, Ak 推B的推理正确当且仅当A1?A2?…?Ak?B为重言式注意: 推理正确不能保证结论一定正确推理的形式结构1. {A1, A2, …, Ak}B 若推理正确, 记为{A1,A2,?,An}B推理的形式结构2. A1?A2?…?Ak?B 若推理正确, 记为A1 ? A2 ? … ? Ak ? B3. 前提： A1, A2, … , Ak 结论： B判断推理是否正确的方法: 真值表法 等值演算法 主析取范式法推理的形式结构1. {A1, A2, …, Ak}B 若推理正确, 记为{A1,A2,?,An}B推理的形式结构2. A1?A2?…?Ak?B 若推理正确, 记为A1 ? A2 ? … ? Ak ? B3. 前提： A1, A2, … , Ak 结论： B判断推理是否正确的方法: 真值表法 等值演算法 主析取范式法推理实例例1 判断下面推理是否正确(1) 若今天是1号，则明天是5号. 今天是1号. 所以, 明天是5号. (2) 若今天是1号，则明天是5号. 明天是5号. 所以, 今天是1号. 解 设 p：今天是1号，q：明天是5号. (1) 推理的形式结构: (p?q)?p?q用等值演算法 (p?q)?p?q ? ?((?p?q)?p)?q ? ?p??q?q ? 1 由定理3.1可知推理正确推理实例(2) 若今天是1号，则明天是5号. 明天是5号. 所以, 今天是1号. 推理的形式结构:(p?q)?q?p 用主析取范式法 (p?q)?q?p ? (?p?q)?q?p ? ? ((?p?q)?q)?p ? ?q?p ? (?p??q)?(p??q)? (p??q)?(p?q) ? m0?m2?m3 结果不含m1, 故01是成假赋值，所以推理不正确推理定律——重言蕴涵式1. A ? (A?B)附加律 2. (A?B) ? A 化简律3. (A?B)?A ? B 假言推理4. (A?B)??B ? ?A 拒取式5. (A?B)??B ? A 析取三段论6. (A?B)?(B?C) ? (A?C)假言三段论7. (A?B)?(B?C) ? (A?C)等价三段论8. (A?B)?(C?D)?(A?C) ? (B?D)构造性二难 (A?B)?(?A?B) ? B 构造性二难(特殊形式)9. (A?B)?(C?D)?( ?B??D) ? (?A??C)破坏性二难每个等值式可产生两个推理定律如, 由A???A可产生 A???A 和 ??A?A3.2 自然推理系统P定义3.2 一个形式系统 I 由下面四个部分组成： (1) 非空的字母表，记作 A(I). (2) A(I) 中符号构造的合式公式集，记作 E(I). (3) E(I) 中一些特殊的公式组成的公理集，记作 AX(I). (4) 推理规则集，记作 R(I). 记I=A(I),E(I),AX(I),R(I), 其中A(I),E(I),AX(I),R(I)是 I 的形式语言系统, A(I),E(I),AX(I),R(I) 是 I 的形式演算系统.自然推理系统: 无公理, 即AX(I)=?公理推理系统 推出的结论是系统中的重言式, 称作定理自然推理系统P定义3.3 自然推理系统 P 定义如下:1. 字母表 (1) 命题变项符号：p, q, r, …, pi, qi, ri, … (2) 联结词符号：?, ?, ?, ?, ? (3) 括号与逗号：(, ), ，2. 合式公式（同定义1.6）3. 推理规则 (1) 前提引入规则 (2) 结论引入规则 (3) 置换规则A?B A∴BA?B ?B∴?AA?B