第10章节 谓词逻辑.pptVIP

 第10章 谓词逻辑 在命题逻辑基础上进一步对命题作深入分解与研究，并建立起一种新的逻辑体系称为谓词逻辑。 10.1谓词逻辑的三个基本概念—个体、谓词与量词 与命题逻辑类似我们先从自然语言讲起，一个命题一般表示一个陈述语，而一个陈述句往往有主语、谓词、宾语等成分，此外还有刻划数量与特殊关系等成分。如下面的语句： ?中国代表团访问美国 ?所有人必死 ?有些人长寿，有些人短命 第10章 谓词逻辑 在这些句子中，“中国代表团”、“美国”、 “人”等都是命题中的独立客体，它可称为个体。 在这些句子中：“…..访问…..”， “……必死”“……长寿”，“…….短命”等都是命题中刻划个体性质与个体间关系词可称为谓词。 在这些句子中出现有“所有”、“有些”等与个体数量有关词称量词。 因此，在自然语言中一般可以将一命题分解成为一个体、谓词与量词等三个部分。 第10章 谓词逻辑 1.个体 个体是命题中独立的客体，它是命题的核心，命题的所有成分都是以它为讨论对象，如谓词即刻划个体的特性与关系，量词刻划个体的数量特性。因此个体无疑是命题中的最重要成份。命题中个体至少有一个也可以有多个。个体在自然语言中一般表示为专用名词、代名词等；它一般出现于主语、宾语中。 第10章 谓词逻辑 在谓词逻辑中，可对个体作符号化处理，个体可分为个体常量（或常元）与个体变量（或变元），个体常量是一些确定的个体，而个体变量则是有待确定的个体，它们可用符号表示为： 个体常量可以用小写拉丁字母a，b，c，……等表示， 个体变量可以用小写拉丁字母x，y，z，…..等表示。 在个体变量中变量有一个变化范围称个体域，一般可用D表示。个体域可以是有限，也可以是无限，有时为表示方便起见，可以把所有个体聚集在一起构成一个统一的个体域叫全总个体域。 第10章 谓词逻辑 2.谓词 谓词是命题中必须的成份，它刻划个体性质与关系。谓词按其与个体数量关系可分为一元谓词，二元谓词与多元谓词。一般一元谓词刻划一个个体的性质，而二元、多元谓词则刻划二个个体及多个个体间的关系。如：“……访问….”是二元谓词，它刻划两个个体间的“访问”关系。最后，无个体的谓词称零元谓词，它即是不可分割的命题。 谓词在自然语言中一般表示动词、形容词及通用性的名词等，它一般出现于谓语及修饰词句中。 第10章 谓词逻辑 在谓词逻辑中，可对谓词作符号化处理，谓词的符号可用大写拉丁字母P，Q，R，….等表示，而用P（ ）表一元谓词，用P（ ， ）表二元谓词，依次类推，可用P（ ， ，…， ）表n元谓词，但一般为书写方便可以在谓词的空位中填以若干变元即用P（x），P（x，y），P（x，y，z）以及P（x1，x2，…..，xn）分别表示一元、二元、三元及多元谓词称谓词命名式或简称谓词。 一个带个体的谓词称谓词填式，它是一个命题，因此它有真假之分，但是，只有当谓词中的个体均为确定时它的真值才能确定。 第10章 谓词逻辑 例:王强是大学生 解：令P（x）表“x是大学生”； 令a表王强。 则此语句可写为P（a）。 例:中国代表团访问美国 解：令P（x，y）表“x访问y”； 令a表中国代表团； b表美国。 则此语句可写为P（a，b）。 第10章 谓词逻辑 例:这幢大楼建成了 解：令P（x）表“x建成了”； 令G（x）表“x是大的”； 令H（x）表“x是楼”； 令a表这个 则此语句可写为P（a）∧G（a）∧H（a）． 第10章 谓词逻辑 3.量词 量词刻划个体中量的特性，这种特性包括数量的有与无；全体与部分这两种，其中刻划个体数量上的有与无的称存在量词，而刻划个体数量上全体与部分的称全称量词。 存在量词一般是那些如：“存在”、“有些”、“部分”、“一些”等词，而全称量词则是那些如：“全部”、“全体”、“所有”、“任何”等词。 在自然语言中量词表示命题中的不定代词、数词等。