1.4推理理论论述.ppt

授课教师：程文刚 wgcheng@ncepu.edu.cn ;范式与主范式;定义 在一公式中，仅由命题变元及其否定构成的合取式， 称该公式为简单合取式，其中每个命题变元或其否定，称为合取项。 例如： P，?Q，P?Q和?P?Q?P 定义 在一公式中，仅由命题变元及其否定构成的析取式， 称该公式为简单析取式，其中每个命题变元或其否定，称为析取项。 例如： P，?Q，P?Q，?P?Q?P 注意：一个命题变元或其否定既可以是简单合取式，也可是简单析取式，如例中P，?Q等;小项 定义 在含有n个命题变元的简单合取式中， 若每个命题变元与其否定不同时存在，而二者之一出现一次且仅出现一次，则称该简单合取式为小项，或布尔积。 大项 定义 在n个命题变元的简单析取式中，若每个命题变元与其否定不同时存在，而二者之一必出现一次且仅出现一次，则称该简单析取式为大项，或布尔和。;主析取 小项的析取式 真值表方法：一个公式的真值为T的指派所对应的小项的析取 主合取 大项的合取式 真值表方法：一个公式的真值为F的指派所对应的大项的合取 ;(a) 把给定公式化成析取范式； (b) 删除析取范式中所有为永假的简单合取式； (c) 用等幂律化简简单合取式中同一命题变元的重复出现为一次出现，如P∧P?P。 (d) 用同一律补进简单合取式中未出现的所有命题变元，如Q，则P?P∧(?Q∨Q)，并用分配律展开之，将相同的简单合取式的多次出现化为一次出现， 这样得到了给定公式的主析取范式。;(a) 把给定公式化成合取范式； (b) 除去合取范式中所有为永真的合取项； (c) 合并相同的析取项和相同的变元 (d) 对析取项补入没有出现的命题变元，即添加(P∧?P)式，然后，应用分配律展开公式。;由于主范式是由小项或大项构成，从小项和大项的定义，可知两者有下列关系： ?mi?Mi ?Mi?mi 因此，主析取范式和主合取范式有着“互补”关系，即是由给定公式的主析取范式可以求出其主命取范式。 ;命题逻辑的推理理论 ;在数学和其他自然科学中，经常考虑从某些前提能够推导出什么结论。例如，从分子学说和原子学说能够得到什么结论，从光的波动学说能推导出??么结论，等等。我们一般要对假设的内容作深入分析，并推究其间的关系，从而得到结论。但也有一些推理，只需分析假设中的真值和联结词，便可获得结论。;在逻辑学中，把从前题（又叫公理或假设）出发，依据公认的推理规则，推导出一个结论，这一过程称为有效推理或形式证明。所得结论叫做有效结论，这里最关心的不是结论的真实性而是推理的有效性。前提的实际真值不作为确定推理有效性的依据。但是，如果前提全是真，则有效结论也应该真而绝非假。;在数理逻辑中，集中注意的是研究和提供用来从前提导出结论的推理规则和论证原理，与这些规则有关的理论称为推理理论。 推理的有效性 ≠ 结论的真实性 有效的推理不一定产生真实的结论，产生真实结论的推理过程未必一定是有效的。再说，有效的推理中可能包含假的前提；而无效的推理却可能包含真的前提。;可见，推理的有效性是一回事，前提与结论的真实与否是另一回事。所谓推理有效，指它的结论是它的前提的合乎逻辑的结果，也即，如果它的前提都为真，那么所得结论也必然为真，而并不是要求前提或结论一定为真或为假。如果推理是有效的话，那么不可能它的前提都为真时而它的结论为假。;推理的基本概念和推理形式 推理规则 推理定律 判断有效结论的方法;推理也称论证，它是指由已知命题得到新的命题的思维过程，其中已知命题称为推理的前提或假设，推得的新命题称为推理的结论。 在数理逻辑中，前提H是一个或者n个命题公式H1,H2,···Hn；结论是一个命题公式C。由前提到结论的推理形式可表为H1,H2,···,Hn?C，其中符号?表示推出···。可见，推理形式是命题公式的一个有限序列，它的最后一个公式是结论，余下的为前提或假设。;定义1.8.1 如果存在H1，H2，…，Hn，C的一个指派，使得每个Hi(1≤i≤n)为真而C为假推理形式H1，H2，…，Hn?C是无效的；否则，推理是有效的，此时称C是H1，H2，…，Hn的有效结论，或称C是从前提H1，H2，…，Hn逻辑推出的结论。 定理1.8.1 推理形式H1，H2，…，Hn?C是有效的，当且仅当命题公式(H1∧H2∧…∧Hn)→C是永真式，亦即(H1∧H2∧…∧Hn)?C。;在数理逻辑中，从前提推导出结论，要依据事先提供的公认的推理规则，它们是： ①Ｐ规则(也称前提引入规则)：在推导过程中，前提可视需要引入使用。 ②Ｔ规则(也称结论引入规则)：在推导过程中，前面已导出的有效结论都可作为后续推导的前提引入。 此外，在从前提推出的结论为条件式时，还需要下面规则：