第4 章 自动推理第4 章 自动推理4.1 引言4.2 自然演绎推理4.3 归结演绎推理4.2 自然演绎推理4.2.1 自然演绎推理的基本概念 n 定义：自然演绎推理是指从一组已知的事实出发，直接运用命题逻辑或谓词逻辑中的推理规则推出结论的过程。 n 推理规则：n P规则：在推理的任何步骤上都可引入前提，继续进行推理。n T规则：推理时，如果前面步骤中有一个或多个公式永真蕴涵公式S，则可把S引入推理过程中。4.2.1 自然演绎推理的基本概念 n 假言推理：假言推理的一般形式是： P，P Q= Q它表示：由P Q 及P为真，可推出Q为真。 n 拒取式推理：拒取式推理的一般形是： P Q ，Q= P它表示：由P Q为真及Q为假，可推出P为假。 4.2.1 自然演绎推理的基本概念n 肯定后件(Q)的错误：当PQ为真时,希望通过肯定后件Q推出前件P为真,这是不允许的.n 否定前件(P)的错误：当PQ为真时,希望通过否定前件P推出后件Q为假,这也是不允许的.n避免产生两类错误：4.2.1 自然演绎推理的基本概念n 如果行星系统是以太阳为中心的,则金星会显示出位相变化。 n 金星会显示出位相变化.
