第五章(谓词逻辑)课件.pptVIP

第五章 谓词逻辑 要点 一阶语言（一阶谓词逻辑的语言） 自然语言深层结构的逻辑分析与一阶语言表达 第一节 原子命题的内部结构 一、谓词逻辑的意义 命题逻辑、词项逻辑与谓词逻辑的关系 一阶语言的构成 个体词：个体常项（a, b, c, …） 个体变项（x, y, z, …） 谓词： 一元谓词 Fx , … 二元谓词 Gxy， … … n元谓词 Hx1…xn 量词： 全称量词 ? 存在量词 ? 联结词： ?、∧、∨、→、? 括号： ），（ 二、谓词和个体词 什么是谓词和个体词？ 通过实例说明 … [例1] 令 Fx表示“x是红的”； a表示“这朵牡丹”。 则 Fa就表示“这朵牡丹是红的”。 其中，F是谓词，表示“红”这种性质。x和a是个体词，表示具有红这种性质的客体。其中，x称为个体变项，它只表示某一个个体，而不表示一个确定的个体；a称为个体常项，它表示一个确定的个体 —— 这朵牡丹。 [例2] 令 Gxy 表示“x是y的丈夫”， a表示“张先生”，b表示“李女士”。 则 Gab 就表示“张先生是李女士的丈夫”。 其中，G是谓词，表示“某人是某人的丈夫”这种关系。x,y和a,b是个体词。同样，x,y是个体变项，a,b是个体常项。 三、量词 量词分为全称量词?和存在量词 ?。 全称量词断定所有的客体都具有相关谓词刻画的性质或关系；存在量词断定存在客体(即至少有一个)具有相关谓词刻画的性质或关系。 六个基本谓词表达式 ?x Fx 表示 “任一对象都具有H这种性质”。 ? x Fx 表示 “存在对象具有H这种性质”。 ?x?y Gxy 表示 “任一对象x与任一对象y，都具有G这种关系”。 ?x?y Gxy 表示 “对于任一对象x, 存在对象y，x与y具有G这种关系”。 ?x?y Gxy 表示 “存在对象x, 对任一对象y，x与y具有G这种关系”。 ?x?y Gxy 表示 “存在对象x和y，x与y具有G这种关系”。 几个重要概念 个体域：个体变项取值的范围，也称论域。 辖域：量词约束的范围。 约束个体变项：被量词约束的个体变项。 自由个体变项：不被量词约束的个体变项。 四、命题形式及其解释