离散数学知识点总结（7）：谓词逻辑（一阶逻辑）：个体词、谓词、量词、特性谓词；特性谓词的常用场景

为什么使用一阶逻辑

• 命题逻辑不能完全表达人们想要表达的内容

一阶逻辑的“新”概念

• 量词
• 个体词
• 谓词

个体词

• 可以独立存在的客体：
  • 具体或特定的个体词：个体常项 $a,b,c,d,...$ 表示
  • 泛指的个体词：个体变项 $x,y,z,...$ 表示
  • 个体变项的取值范围：个体域（论域） { 1 , 2 , 3 , a , b , c } \{1,2,3,a,b,c\} {1,2,3,a,b,c} 可以是有限集合也可以是无限的集合

谓词

• 表示性质或者关系的词叫谓词
  • 表示具体性质或者具体关系的叫 谓词常项， $F,G,H,...$
  • 表示抽象或者泛指关系的谓词叫谓词变项，也用 $F,G,H,...$ 表示

个体词和谓词的关系

• 个体变项 $x$ 具有性质 $F$ ，记作 $F(x)$
• 个体变项 $x,y$ 具有关系$L$ ，记作 $L(x,y)$
• $F(x),L(x,y)$ 这种联合体，也叫做谓词

个体词和谓词的简单例子

• $a$ 代表 $\sqrt{2}$，$b$ 代表$小李$，$c$ 代表 $小赵$
• $F(x)$ 代表“x是无理数”；$L(x,y)$ 代表 $x$ 和 $y$ 是好朋友
• $F(a)$ 代表 $\sqrt{2}$ 是无理数；$L(b,c)$ 代表 小赵和小李是好朋友

n元谓词，0元谓词

• 包含个体词数量为 $n(n>=1)$ 叫 n 元谓词
  • 1元谓词表示一个个体词的性质
  • 2元及以上元谓词表示多个个体词之间的关系
  • 不带 个体变项的谓词叫 0元谓词

谓词？命题？

• 谓词要想称为命题，就要把所有不确定的东西变成确定的。
• 首先，如果 $F(x,y)$ 中 $F()$ 是个谓词变项，那么不可以
• 如果 $F()$ 是个谓词常项，依然不可以；还要求，$x,y$ 都是常元；这个时候 $F(x,y)$ 就变成命题了
• 这个时候 $F(x,y)$ 同时也是个 0元谓词了；也就是说，简单命题都是 0元谓词
• 这样的话，命题就变成 谓词 的一种特殊形式了。也就扩大了我们能表示的逻辑概念。

简单的符号化

如果 2 大于 3 那么 2 大于 4

• $a:2$
• $F(x,y):x>y$
• $F(2,3)\to F(2,4)$

量词

• 全称量词：表示对所有个体域中的个体都适用某一条规则
  • $\forall$
  • $\forall xF(x)$ 表示对所有个体域中的所有个体都有 $F(x)$性质，或者都符合 $F(x)$ 规则
• 存在量词: 至少有一个个体适用某条规则
  • $\exists xF(x)$
• 多个量词同时出现的时候，不能随意颠倒他们的顺序。

特性谓词

• 特性谓词是用来限制个体域的；如果没有特别限制的话， 个体域是全总个体域。
• 引入特性谓词之后，使用全称量词和使用存在量词符号化的形式是不同的
• 这么说太抽象了，我们用下面的例子来表示一下：

例子：
所有的自然数都是整数。

• 第一种情况，我们让自然数 N 称为这句话的个体域。也就是说，当我们用 $\forall x$ 的时候，我们就已经代表了 “对所有的自然数 $x$”。然后我们用 $I(x)$ 表示 $x$ 是整数这个性质。所以在这种情况下（没有使用特性谓词）这句话将被公式化为：$\forall x(I(x))$
• 第二情况，我们不指定个体域；也就是说当我们用 $\forall x$ 表示的时候，表示的是，对于全总个体域中所有的 $x$ 。同样用 $I(x)$ 表示 $x$ 是整数；这种情况下我们要表示 “所有的自然数都是整数” 我们就要找一个 特性谓词 来限制 $x$ 的性质。此时我们用 $N(x)$ 表示 $x$ 是自然数。所以以上的话我们可以公式化为：$\forall x(N(x)\to I(x))$；这句话可以翻译为：对于全总个体域中的所有个体，如果他是个自然数，那么他就是个整数。

总结一下，特性谓词的出现，可以把一句话换个说法但是结果同样的正确。在上面的例子里面，我们就把原话“所有的自然数都是整数” 转变成了 “在全总个体域中，如果一个数是自然数，那么这个数就是整数”

例子2：
所有的人都会有一个生母

• 当我们指定个体域是 “人” ，这句话可以符号化为 $\forall x\exists yM(x,y)$，$M(x,y)$ 表示 $y$ 是 $x$ 的生母
• 不指定个体域，$M(x,y)$ 同样表示 $y$ 是 $x$ 的生母，这句话应该写成 $\forall x(R(x)\to \exists y(R(y)\wedge M(x,y))$, $R(x)$ 表示 $x$ 是人。 这句话的意思是：如果 $x$ 是人，那么一定能找到一个 $y$，$y$ 是人，并且 $y$ 是 $x$ 的生母

特性谓词在全称量词中通常作为 “前件”

• 比如第一个例子中的 $N(x)$
  

特性谓词在存在量词中通常表示为 “合取” 的关系