L4谓词逻辑1 离散数学.pptVIP

L4谓词逻辑1 离散数学 L4谓词逻辑1 离散数学 L4谓词逻辑1 离散数学 L4谓词逻辑1 离散数学 L4谓词逻辑1 离散数学 L4谓词逻辑1 离散数学 L4谓词逻辑1 离散数学 谓词逻辑 一 L4谓词逻辑1 离散数学 主要内容 谓词与量词 谓词公式 等值演算 范式 谓词逻辑推理 归结法推理 L4谓词逻辑1 离散数学 谓词逻辑与命题逻辑的区别 命题逻辑:简单命题是分析的基本单元,不再对简单命题的内部结构进行分析. 例如a:“柏拉图是人”和b:“亚里士多德是人”是两个相互独立的命题,看不出a和b有什么联系. 谓词逻辑(predicate logic):深入到简单命题的内部进行更精细的分析,即其主谓结构. 例如用谓词Man(x)表示“x是人”,则上述命题a和b可表示为Man(Plato)和Man(Aristotle).这样能看出两命题有联系. L4谓词逻辑1 离散数学 对命题的进一步分析 日常语言的陈述句包含主语和谓语. 例如:“亚里士多德是人”,主语(“亚里士多德”)是述说的对象,谓语(“是人”)描述主语的属性或关系. 谓词逻辑用个体词描述对象,用谓词表达谓语:如Man(Aristotle), Man(Plato). 又如:“人是动物”,主语“人”就不适合看成个体了,因为“人”是类概念. 适合理解成:“对任何个体x:若x是人,则x是动物”.所以这个命题涉及两个谓词Man( )和An