【工学】05_命题逻辑的推理理论_1.pptVIP

第三章 命题逻辑的推理理论 上一节的复习范式的定义 定义2.3 （1）由有限个简单合取式构成的析取式称为析取范式。 （2）由有限个简单析取式构成的合取式称为合取范式。 （3）析取范式与合取范式统称为范式。 上一节的复习求范式的步骤（用等值演算） 消去联结词→, ? 蕴涵等值式: A→B ┐A∨B 等价等值式: A ? B A→B ∧ B→A 否定号的消去（利用双重否定律） ┐┐A A 内移否定号（利用德摩根律） ┐ A∨B ┐A∧┐B ┐ A∧B ┐A∨┐B 利用∧对∨的分配律求析取范式，∨对∧的分配律求合取范式。 上一节的复习（续） 定义2.5（主范式） 设由n个命题变项构成的析取范式（合取范式）中所有的简单合取式（简单析取式）都是极小项（极大项），则称该析取范式（合取范式）为主析取范式（主合取范式）。 上一节的复习（续） 求主范式的步骤 （存在性证明过程） 1 补充命题变项； 2 消去重复出现的极小（大）项和矛盾式（重言式）。 引言 “命题”的形式 前两章介绍了“命题”的形式。 “推理”的形式 本章介绍“推理”的形式。 推理是逻辑的研究对象。 3.1. 推理的形式结构 有效推理 有效推理的等价定理 重言蕴涵式 有效推理 数理逻辑的主要任务是用数学的方法来研究数学中的推理。 所谓推理是指从前提出发推出结论的思维过程，而前提是已知命题公式集合，结论是从前提出发应用推理规则推出的命题公式。 要研究推理就应该给出推理的形式结构，为此，首先应该明确什么样的推理是有效的或正确的。 有效推理（续） 定义3.1 设A1,A2,…,Ak和B都是命题公式，若对于A1,A2,…,Ak和B中出现的命题变项的任意一组赋值， 或者A1∧A2 ∧…∧Ak为假， 或者当A1∧A2 ∧…∧Ak为真时，B也为真， 则称由前提A1,A2,…,Ak推出B的推理是有效的或正确的，并称B是有效结论。 定义3.1有关说明 由前提A1,A2,…,Ak推结论B的推理是否正确与诸前提的排列次序无关。 因而前提的公式不一定是序列，而是一个有限的公式集合，若将这个集合记为Г，可将由Г推B的推理记为Г├ B。若推理是正确的，则记为Г B，否则记为Г B。 这里，可以称Г├B和 A1,A2,…,Ak ├ B 为推理的形式结构。 定义3.1有关说明（续） 设A1,A2,…,Ak，B中共出现n个命题变项，对于任何一组赋值α1,α2,…,αn αi 0或者1，i 1,2,…,n ，前提和结论的取值情况有以下四种： 1 A1∧A2 ∧…∧Ak为0，B为0. 2 A1∧A2 ∧…∧Ak为0，B为1. 3 A1∧A2 ∧…∧Ak为1，B为0. 4 A1∧A2 ∧…∧Ak为1，B为1. 由定义3.1可知，只要不出现 3 中的情况，推理就是正确的，因而判断推理是否正确，就是判断是否会出现 3 中的情况。 定义3.1有关说明（续） 由以上的讨论可知，推理正确，并不能保证结论B一定为真，这与数学中的推理是不同的。 这个与前面我们所介绍的哪个内容非常相关？ 蕴涵联结词! 例3.1. 判断推理是否正确 1 p,p→q q 分析： 定义3.1; 真值表; 1 ? 0? 例3.1（续） 1 p,p→q q 解题：p ∧ p→q , q的真值表 有效推理的等价定理 定理3.1 命题公式A1,A2,…,Ak推B的推理正确当且仅当  A1∧A2 ∧…∧Ak →B 为重言式。 证明（课后练习） 必要性（仅当）； 充分性（当）。 推理的形式结构 由定理3.1知，推理形式： 前提： A1,A2,…,Ak结论：B 是有效的当且仅当 A1∧A2 ∧…∧Ak →B为重言式。 A1∧A2 ∧…∧Ak →B称为上述推理的形式结构。 推理的有效性 推理的有效性等价于它的形式结构为永真式。 即推理正确 A1∧A2 ∧…∧Ak B 可记为 A1∧A2 ∧…∧Ak B 其中 同 一样是一种元语言符号，用来表示蕴涵式为重言式。 推理有效性的判断方法 分析 1 A1∧A2 ∧…∧Ak B 2 形式结构为永真式 重言式 A1∧A2 ∧…∧Ak →B 3 判断命题公式永真性的方法