第五章谓词逻辑.ppt

第1页，共25页，星期日，2025年，2月5日要点一阶语言（一阶谓词逻辑的语言）自然语言深层结构的逻辑分析与一阶语言表达第2页，共25页，星期日，2025年，2月5日第一节 原子命题的内部结构第3页，共25页，星期日，2025年，2月5日一、谓词逻辑的意义命题逻辑、词项逻辑与谓词逻辑的关系第4页，共25页，星期日，2025年，2月5日一阶语言的构成个体词：个体常项（a,b,c,…）个体变项（x,y,z,…）谓词：一元谓词Fx,…二元谓词Gxy，……n元谓词Hx1…xn量词：全称量词?存在量词?联结词：?、∧、∨、→、?括号：），（第5页，共25页，星期日，2025年，2月5日二、谓词和个体词什么是谓词和个体词？通过实例说明…第6页，共25页，星期日，2025年，2月5日[例1]令Fx表示“x是红的”；a表示“这朵牡丹”。则Fa就表示“这朵牡丹是红的”。其中，F是谓词，表示“红”这种性质。x和a是个体词，表示具有红这种性质的客体。其中，x称为个体变项，它只表示某一个个体，而不表示一个确定的个体；a称为个体常项，它表示一个确定的个体——这朵牡丹。第7页，共25页，星期日，2025年，2月5日[例2]令Gxy表示“x是y的丈夫”，a表示“张先生”，b表示“李女士”。则Gab就表示“张先生是李女士的丈夫”。其中，G是谓词，表示“某人是某人的丈夫”这种关系。x,y和a,b是个体词。同样，x,y是个体变项，a,b是个体常项。 第8页，共25页，星期日，2025年，2月5日三、量词量词分为全称量词?和存在量词?。全称量词断定所有的客体都具有相关谓词刻画的性质或关系；存在量词断定存在客体(即至少有一个)具有相关谓词刻画的性质或关系。第9页，共25页，星期日，2025年，2月5日六个基本谓词表达式?xFx表示“任一对象都具有H这种性质”。?xFx表示“存在对象具有H这种性质”。?x?yGxy表示“任一对象x与任一对象y，都具有G这种关系”。?x?yGxy表示“对于任一对象x,存在对象y，x与y具有G这种关系”。?x?yGxy表示“存在对象x,对任一对象y，x与y具有G这种关系”。?x?yGxy表示“存在对象x和y，x与y具有G这种关系”。第10页，共25页，星期日，2025年，2月5日几