人民大2024逻辑学导论（第5版）PPT第四章 谓词逻辑.pptx

谓词逻辑;

命题逻辑刻画复合命题的逻辑性质及其推理关系，词项逻辑刻画直言命题的逻辑性质及其推理关系。它们各自都有很强的处理推理的能力，能够判别相应范围的推理究竟是有效还是无效。不过，它们各自都有自己的局限性，例如：

第一，它们都不能处理关系命题及其推理。

第二，它们都不能处理量词内部含联结词结构的命题及其推理。

第三，它们都不能处理多重量化，即量词结构里面还含有其他量词的语句及其推理关系。;

第一节个体词性质谓词量词和公式;

一、个体词

个体词就是表示对象域中的个体的符号，包括个体变项和个体常项。

个体变项使用小写字母x，y，z……表示某个特定范围内的某个不确定的对象。

个体常项使用小写字母a，b，c……表示某个特定范围内的某个确定的对象。;

二、一元谓词和性质原子公式

逻辑学家所关注的是为各种具体谈论所共有的模式，所以，他们所关注的不是特定个体，而是个体变项；也不是具体谓词，而是谓词符号，用大写字母F，G，R，S……表示，目前限定：只把这些谓词符号用于单个的个体词，叫作“一元谓词符号”。

一元谓词符号表示个体的性质。;如果一个谓词符号后面跟着写在一对括号内的一个个体词(个体常项或个体变项)，我们就得到最初的也是最基本的公式，叫作“原子公式”，例如F(a)、G(x)，它们分别表示“a是F”“x是G”。显然，随个体域的不同，a、x可以代表不同的对象，F、G也可以表示不同的性质。在这种形式之下，它们代表了某个句子模式或框架，本身没有真假可言，但如果对其中的个体词或谓词做具体的解释，例如，令“a是F”表示“北京是中华人民共和国的首都”，“x是G”表示“某个自然数是偶数”，前者就有确定的真假。而后者如果确定了x究竟指称哪个自然数，也有确定的真假。于是，原子公式也有两个可能的真值：真，假。;

三、量词和量化公式

;量词有其管辖的范围，简称“辖域”。分两种情形：

(i)如果一个量词后面无括号，该量词后面最短的公式就是该量词的辖域。

(ii)如果一个量词后面有括号，则处于括号内的公式是该量词的辖域。;

四、自然语言中性质命题的符号???

与词项逻辑对直言命题做主谓式分析不同，谓词逻辑把直言命题形式上的主词和谓词都变成谓词，另外找出了逻辑主词，即个体变项x、y、z等。在不限定论域，即论域为全域时，6种直言命题可分别以如下方式符号化：

1.全称的直言命题应符号化为一个全称蕴涵式。;;第四章谓词逻辑;第四章谓词逻辑;

第二节关系谓词重叠量化二元关系的性质;

一、关系谓词量词的重叠重叠量化式

在日常语言中，把断定个体之间具有某种关系的命题叫作“关系命题”。

关系命题包括三个要素：个体词、关系谓词和量词。

个体词是表示具有某种关系的对象的语词

关系谓词是表示对象之间所具有的关系的语词;第四章谓词逻辑;

二、自然语言中关系命题的符号化

有了一阶语言之后，我们可以把例5中的三个关系命题依次符号化为：

(1′)S(e，m，c，c)

(2′)L(a，b)

(3′)P(a，x，c)

显然，个体变项和个体常项的次序是十分重要的，R(a，b)表示a与b有R关系，而R(b，a)则表示b与a有R关系，这两者的不同就像“23”和“32”的不同一样。;第四章谓词逻辑;

三、二元关系的逻辑性质排序问题

不同的关系有不同的逻辑性质。这里主要考虑二元关系的逻辑性质，即关系的自反性、对称性和传递性：

(1)一关系R是自反的，当且仅当，对任一x而言，x与它自身有R关系，即?xR(x，x)。

(2)一关系R是对称的，当且仅当，对任一x和y而言，如果R(x，y)，则R(y，x)，即?x?y(R(x，y)→R(y，x))。;

(3)一关系R是传递的，当且仅当，对任一x、y和z而言，如果R(x，y)并且R(y，z)，则R(x，z)，即

?x?y?z(R(x，y)∧R(y，z)→R(x，z))。;

第三节模型和赋值普遍有效式;

一、模型和赋值

一阶语言L的一个模型M包括下列因素：

(1)个体域D，即由具有一定性质的个体所构成的非空集合。当给定个体域之后，L中的全称量词?x表示个体域中的所有个体，存在量词?x表示个体域中的某些个体。由此，全称量词、存在量词和约束个体变项的意义都确定了。

(2)个体域D上的一个解释函数I，它把L中的个体常项c解释为D中的某个特定个体，记为I(c)，并且把L中的一元谓词符号解释为个体域D中个体的集合，把n(n＞1)元谓词符号解释为D中个体的n元有序组的集合。更通俗地讲，I先把一元谓词符号解释为D中个体的某个性质，然后再把该性质解释成D中具有那个性质的那些个体的集合；并且把n(n＞1)元谓词符号解释为D中n个个体间的关系，再把该关系解释成具有该关系的那些个体的有序组的集合。;

一个模型M加一个对自由变项的指派ρ合称