《一阶谓词原理.ppt

一阶谓词逻辑 CH4 一阶逻辑基本概念 CH5 一阶逻辑等值演算与推理 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * * 内容要点： 谓词和个体 量词 一阶逻辑公式 置换规则 一阶逻辑等值式 一阶逻辑前束范式 推理理论 CH4 CH4 CH4 CH5 CH5 CH5 CH5 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * * 1.命题的表达 例1.1：凡偶数都能被2整除， 6是偶数。 所以，6能被2整除 将它们命题符号化： p：凡偶数都能被2整除 q： 6是偶数 r： 6能被2整除 则推理的形式结构符号化为： (p? q) ? r 由于上式不是重言式，所以不能由它判断推理的正确性。为了克服命题逻辑的局限性，就应该将简单命题再细分，分析出个体词、谓词和量词，以期达到表达出个体与总体的内在联系和数量关系，这就是谓词逻辑。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * * (1)８是自然数。 (2) 21世纪末，人类将住在月球。 (3) x+y=y+x (4) 只有x能被2整除， x才能被4整除。 A.个体词 x,y的取值范围：复数域 a的取值范围：整数域 是指所研究对象中可以独立存在的具体的或抽象的客体。 表示具体或特定的客体的个体词称作个体常项；常用a,b,c,…表示。 表示抽象或泛指的客体的个体词称作个体变项；常用x,y,z,…表示。 个体变项的取值范围为个体域，个体域可以是有穷集合，也可以是无穷集合。 全总个体域：由宇宙间一切事物组成的域为全总个体域。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * * a.小陈是大学生 b.小张生于苏州 c. 8=3*2 x是大学生 小陈-----个体；是大学生-----谓词： 是大学生刻划了x 的性质 x生于y 生于-----谓词：刻划了x和y的关系 x=y*z ….=…..------谓词：刻划了x，y，z三 元的关系 一、谓词和个体 B. 谓词 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * * B. 谓词 (1)８是自然数。 (2) 21世纪末，人类将住在月球。 (3) x 与 y 具有关系L (4) 只有x能被2整除， x才能被4整除。 谓词：用来刻划个体词性质及个体词之间相互关系的词 表示具体性质或关系的谓词称为谓词常项 谓词变项：表示抽象的或泛指的性质或关系的谓词 两者都用大写英文字母表示 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * * 一般的 用F(a)表示个体常项a具有性质F（F是谓词常项或谓词变项）， 用F(x)表示个体变项x具有性质F。 而用F(a, b)表示个体常项a, b具有关系F， 用F(x, y) 表示个体变项x, y具有关系F。 定义：一个大写英文字母后边有括号，括号内是若干个客体变元，用以表示客体的属性或者客体之间的关系，称之为谓词。如果括号内有n个客体变元，称该谓词为n元谓词。 Evaluation only. Created w