谓词逻辑讲解

目录

1. 谓词的概念与表示

1.1 量词

2. 谓词公式

2.1 约束变元与自由变元

2.2 约束变元的换名与自由变元的替换

3. 谓词公式的等值演算

3.1 谓词等价公式

---

1. 谓词的概念与表示

1.1 量词

（1）全称量词：“”，读作“所有的”、“任意”

使用全称量词进行命题符号化时，使用蕴涵/单条件(→)联结词。

例1：所有的整数是实数

解：设Z(x)：x是整数，R(x)：x是实数，符号化为(x) ( Z(x)→R(x))

例2：不是所有的重庆人都居住在重庆

解：设Z(x)：x是重庆人，R(x)：x居住在重庆，符号化为¬(x) ( Z(x)→R(x))

例3：不是所有的同学都来上课了

解：设P(x)：x是同学，Q(x)：x来上课了，符号化为¬(x) ( P(x)→Q(x))

（2）存在量词：“”， 读作“存在”

使用存在量词进行命题符号化时，使用合取(∧)联结词。

例1：有些整数不是偶数

解：设Z(x)：x是整数，R(x)：x是偶数，符号化为(x) ( Z(x)∧¬R(x))

例2：存在一个小于0的偶数

解：设Z(x)：x小于0，R(x)：x是偶数，符号化为(x) ( Z(x)∧R(x))

例3：有些人是聪明的

解：设Z(x)：x是人，R(x)：x是聪明的，符号化为(x) ( Z(x)∧R(x))

2. 谓词公式

2.1 约束变元与自由变元

谓词公式中，约束出现的变元称为约束变元，除约束变元以外的变元称为自由变元。

例1：(x) P(x)→(y) Q(y)

解：x，y都是约束变元

例2：(x) (P(x)→(y) Q(y))

解：x，y都是约束变元

例3：(x) P(x)→Q(y)

解：x是约束变元，y是自由变元

例4：(x) P(x,y)→(y) Q(x,y)

解：x，y既是约束变元又是自由变元

2.2 约束变元的换名与自由变元的替换

（1）避免一个谓词公式中相同的符号被多次使用而混淆。

（2）换名和替换的符号不能是原公式中已经出现过的。

例1：(x) P(x,y)→(y) Q(x,y) 换名

解：将约束变元x换名为u，y换名为v，得到(u) P(u,y)→(v) Q(x,v)

例：(x) P(x)∧R(x,y) 替换

解：将自由变元x替换为z，得到(x) P(x)∧R(z,y)

3. 谓词公式的等值演算

3.1 谓词等价公式

（1）命题等价公式的代换实例

①双重否定律：¬¬P ⇔ P

②德.摩根律：¬(P∧Q) ⇔¬P∨¬Q

¬(P∨Q) ⇔¬P∧¬Q

③蕴涵等值律：P→Q ⇔ ¬P∨Q

（2）量词与否定词交换顺序

①¬(x) P(x) ⇔ ( x)¬P(x)

②¬( x) P(x) ⇔ (x)¬P(x)