离散数学第三章 谓词演算基础-谓词及个体.ppt

谓词数目 不难验证，h个个体组成的个体域I上的一元谓词有2h个，二元谓词共有2h2个，m元谓词共有2hm个。 谓词数目 一元谓词 二元谓词 三元谓词 m元谓词 2个个体 4 16 256 22m 3个个体 8 512 134217728 23m h个个体 2h 2h2 2h3 2hm 第三章 谓词演算基础 3.1 谓词与个体 3.1.1 个体 3.1.2 谓词 3.2 函数与量词 3.3 自由变元和约束变元 3.4 永真性和可满足性 3.5 唯一性量词与摹状词 谓词演算中语句的符号化是人工智能中知识表示的基础。 公元前469年—前399年. 著名的古希腊哲学家，他和他的学生柏拉图及柏拉图的学生亚里士多德被并称为“希腊三贤”。 苏格拉底曾跟父亲学过手艺，靠自学成了一名很有学问的人。他以传授知识为生，30多岁时做了一名不取报酬也不设馆的社会道德教师。苏格拉底却常说：“我只知道自己一无所知。” 苏格拉底的学说具有神秘主义色彩。他认为，天上和地上各种事物的生存、发展和毁灭都是神安排的，神是世界的主宰。他反对研究自然界，认为那是亵渎神灵的。他提倡人们认识做人的道理，过有道德的生活。他的哲学主要研究探讨的是伦理道德问题。 苏格拉底无论是生前还是死后，都有一大批狂热的崇拜者和一大批激烈的反对者。他一生没留下任何著作，但他的影响却是巨大的。哲学史家往往把他作为古希腊哲学发展史的分水岭，将他之前的哲学称为前苏格拉底哲学。做为一个伟大的哲学家，苏格拉底对后世的西方哲学产生了极大的影响。 变目：变化范围 《辞海》中无“变目” 其中（1）与（2）表示个体性质， （3）表示两个个体间的关系， （4）表示三个个体间的关系。 其中（1）与（2）表示个体性质， （3）表示两个个体间的关系， （4）表示三个个体间的关系。 我们不一一指明含有变元的谓词形式究竟是谓词命名式还是谓词填式，读者可通过上下文自行加以鉴别。 从这个意义上说，谓词是以个体域为定义域，以真值集为值域的映射。 从这个意义上说，谓词是以个体域为定义域，以真值集为值域的映射。 一阶谓词演算? 怎么定义的? 现讨论一阶谓词语句是如何进行符号化的。 个体变元本身是谓词变元的谓词为二阶谓词。 例1与例2中的谓词都可以看为“常谓词”??? 谓词WRITE(,)的意义是特定的。 基于特定个体上的谓词？？？ 在谓词演算中知识的表示往往采用变量即个体变元来表达一类相同的事实和概念。 因而，表达式WRITE(x，y)表达一类关系。 注意： 谓词和个体是息息相关的，基于个体的谓词才是一个完整的谓词，且个体、谓词、个体域三者是可以变化的。 目录（数理逻辑） 第一章 命题演算基础 （6学时） 第二章 命题演算的推理理论（4学时） 第三章 谓词演算基础（5学时） 第四章 谓词演算的推理理论（5学时） 第五章 递归函数论（4学时） 第三章 谓词演算基础 在命题演算中，把不可剖开或分解为更简单命题的原子命题作为基本单元。 将对原子命题内部结构进一步剖析，分解为 个体 谓词 苏格拉底三段论 P：凡人要死 Q：苏格拉底是人 R：苏格拉底要死 此三段论表示为: (P?Q)?R 此三段论是正确的，但P?Q?R却不是重言式，这就是命题逻辑的局限性。 三段论 P: 计算机学院学生学习离散数学 Q: 王明是计算机学院学生 R: 王明学习离散数学 (P?Q)?R 该推理是正确的，但P?Q?R却不是重言式， 第三章 谓词演算基础 3.1 谓词与个体 3.1.1 个体 3.1.2 谓词 3.2 函数与量词 3.3 自由变元和约束变元 3.4 永真性和可满足性 3.5 唯一性量词与摹状词 3.1.1 个体 (1)个体：个体是指具有独立意义、独立存在的东西。 也称为常个体或实体。 用a、b、c…等表示。 (2)个体域：由个体组成的集合称为个体域。 个体域常用I、J、K…等表示。 (3)全总个体域： 所有个体不管是何种类型的个体综合在一起组成的个体域称为全总个体域。用U表示。 个体变元、项 (4)个体变元：以个体域I为变域的变元称为个体域I上的个体变元。 用x、y、z、…等表示。 (5)项：包括实体、变量符号和函数