17 自然推理系统P.pptVIP

3.2 自然推理系统 数理逻辑的主要任务是用数学的方法来研究推理。所谓推理是指从前提出发推出结论的思维过程，而前提是已知命题公式集合，结论是从前提出发应用推理规则推出的命题公式。 §1.8 命题逻辑的推理理论 一、有效推理 定义 设α1，α2，…，αn，β都是命题公式， 称推理“α1，α2，…，αn推出β”是有效的（或正确的）， 如果对α1，α2，…，αn，β中出现的命题变项的任一指派， 若α1，α2，…，αn都真，则β亦真，并称β是有效结论。 否则，称“由α1，α2，…，αn推出β”是无效的或不合理的。 注意：在推理形式中，推理形式的有效与否与前提中命题公式的排列次序无关。 我们将前述推理用更严谨的形式推理系统描述出来 。 怎样在计算机上实现如下的有效推理： {p?q, q?r} ├ p?r 识别符号p,q,r 识别公式p?q, q?r, …… 推理方法 定义 定义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)是I的形式语言系统，AX(I),R(I)为I的形式演算系统。 形式系统