自然推理系统.pptxVIP

自然推理系统 一、形式系统形式系统有两个要素:形式语言和推理部分。 ——形式语言:什么是讨论的对象 (1)初始符号 (2)形成规则 (3)定义 ——推理部分 (1)规则 (2)定理 一、形式系统1、初始符号(1) 命题变元p,q,r……(2)命题联结词?,∧ ,∨ , → , (3)辅助符号(),(括号和逗号) 一、形式系统2、形成规则(1)命题变元是合式公式(原子公式);(2)假如A是合式公式,那么﹁A是合式公式;(3)假如A和B是合式公式,那么A∧B,A∨B, A→B,A B是合式公式;(4)只有符合(1)-(3)的才是合式公式; 一、形式系统3、定义 定义两边的内容能够相互代替。 1、推理规则 (1)引入前提规则 P (2)使用重言式规则 T (3)条件证明规则 CP2、推导和定理(定理记为 T) 本系统的一个推导是一个确定的公式系列,其中每个公式是依据推导规则写出的,或者是该系统的一个定理。 一、形式系统 二、自然推理系统1、自然推理系统 是从假设出发,依照规则推出一系列定理来,也称现代逻辑演算系统。 2、自然推理系统的优点