第五章谓词逻辑文档.docVIP

谓词逻辑 要点 一阶语言（一阶谓词逻辑的语言） 自然语言深层结构的逻辑分析与一阶语言表达 第一节 原子命题的内部结构 一、谓词逻辑的意义 命题逻辑、词项逻辑与谓词逻辑的关系 一阶语言的构成 个体词：个体常项（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 表示 “任一对象都具有F这种性质”。 ( x Fx 表示 “存在对象具有F这种性质”。 (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这种关系”。 几个重要概念 个体域：个体变项取值的范围，也称论域。 辖域：量词约束的范围。 约束个体变项：被量词约束的个体变项。 自由个体变项：不被量词约束的个体变项。 四、命题形式及其解释 变项和常项 命题形式 命题形式的解释 非重言式 可满足式 命题形式的类型 重言式 不可满足式 重言式 命题形式的类型 非重言的可满足式式 不可满足式 第二节 自然语言的谓词表达式 一