全称规则

计算机学院

计算机学院 136
136
 例2.7 全称蕴含存在
§

特点：这个公式是语句，所以可以不考虑赋值。

计算机学院

计算机学院 137
137
 例2.18 存在与全称换序
§

计算机学院

计算机学院 138
138
例2.18

计算机学院

计算机学院 139
139
 例2.18

分析一下，能否找到解释 I 使 I ($x"yP ( x, y )) = 0 ，
且 I ("y$xP ( x, y )) = 1 。若 I ("y$xP ( x, y )) = 1，则对于每个d Î DI ，
总可找到cd Î DI 使P I (d , c) = 1 ，这里 cd 依赖于d ，对于不同的d
， cd可能不同。因此，I ($x"yP ( x, y )) = 0 是可能的。根据上面
的分析，给出一个是该语句为假的解释 I 如下：
DI为整数集合，对任意整数 m，n，
P I (m, n) = 1 当且仅当 m <n
计算机学院
则对于每个整数y ，总有y -1 < y ，但没有一个整数小于每个
整数。因此 I ("y$xP ( x, y) ® $x"yP ( x, y)) = 0 ，因此它显然不是
永真式。

计算机学院 140
140
 例2.18

先看能否找到一个解释 I ，
使 I ($x( P( x) ® Q( x)) ® ($xP ( x) ® $xQ( x))) = 0，
即 I ($xP( x) ® Q( x)) = I ($xP( x)) = 1且 I ($xQ ( x)) = 0。I ($xP ( x)) = 1
表明有 a Î DI 使 P I (a) = 1，而 I ($xQ ( x)) = 0 要求对每个 x Î DI，
Q I ( x) = 0 。若 DI 中还有一个元素 b 使 P I (b) = 0，则
I ($x( P( x) ® Q( x))) = 1 。可以看出，如果 DI 中至少有两个元素
，则 I 有可能满足这三个条件。
计算机学院
可给出是该语句为假的解释 I 如下：
DI = {a, b}, P I (a) = 1, P I (b) = 0, Q I (a) = Q I (b) = 0
则 I ($x( P( x) ® Q( x)) ® ($xP( x) ® $xQ( x))) = 0 ，故该公式不是
永真式。
显然该公式是可满足式。例如取解释 I 如下：
{a}, P I (a) = Q I (a) = 1
DI =计算机学院 141
141
 例
§

计算机学院

计算机学院 142
142
§

计算机学院

计算机学院 143
143
 如何判断公式
§ 总结：要判断公式的性质，首先分析它在解释和赋值下
的意义，看其是否可能成为真命题或假命题，得出关于
该公式的性质的初步结论。
§ 若估计该公式是永真式（或永假式），则证明在任意解
释和该解释中任意赋值下的值。
§ 若估计该公式不是永真式（或永假式），则具体给出一
个解释和赋值，使其为1（或0）。

计算机学院

计算机学院 144
144
 第二章 谓词逻辑
§ §2.1 谓词和量词
§ §2.2 项和公式(谓词逻辑语法)
§ §2.3 解释和赋值(谓词逻辑语义)
§ §2.4 永真式
§ §2.5 等值演算
§ §2.6 逻辑推论
计算机学院

计算机学院 145
145
定义2.18
§如果对于每个解释 I 和 I 中每个赋值 v，

§ 总有 I(A)(v) = I(B)(v)，
无论怎样解释和
§则称公式 A 和 B 等值， 赋值，逻辑语义
都相同
§也称 A 和 B 逻辑等价，记为 A Û B。

§ 强调：“ Û ” 是两个逻辑公式之间的一种 “关系”。

计算机学院
§ 思考：比较在命题逻辑中的相应概念。

§补充定理： A Û B 当且仅当 A « B 是谓词永真式。

计算机学院 146
146
证明A Û B 的方法
§ 要证明 A Û B ，可采用以下四种方法：
1. 对于每个解释 I 和 I 中每个赋值 v，
I(A)(v) = 1 当且仅当 I(B)(v) = 1。
2. 对于每个解释 I 和 I 中每个赋值 v，
I(A)(v) = 0 当且仅当 I(B)(v) = 0。
3. 对于每个解释 I 和 I 中每个赋值 v，
若 I(A)(v) = 1 ，则 I(B)(v) = 1；
若 I(A)(v) = 0 ，则 I(B)(v计算机学院
) = 0。
4. 对于每个解释 I 和 I 中每个赋值 v，
若 I(B)(v) = 1 ，则 I(A)(v) = 1；
若 I(B)(v) = 0 ，则 I(A)(v) = 0。

计算机学院 147
147
证明A Û B 不成立的方法
§要证明 A Û B 不成立，只需找到一个反例，

§即具体找出一个解释 I 和 I 中一个赋值 v， 使得
§ I(A)(v) ¹ I(B)(v)。

§例1 P(x) 与 P(y) 是否等值？

§ 给定解释 I 和 I 中赋值 v 如下：
计算机学院
§ DI 为正整数集，PI(x) = 1 当且仅当 x 是奇数，
§ v(x) = 1，v (y) = 2。
§ I(P(x))(v) = 1， I(P(y))(v) = 0。
)Û
P ( x计算机学院
/ P( y) 148
148
定理2.5
§ 设 A, B, C, D 是任意公式， x 是任意变元。

1. 若 A Û B ，则 ¬A Û ¬B 。
2. 若 A Û B 且 C Û D ，则
A®CÛB®D，
§ AÚCÛBÚD，
AÙCÛBÙD，
§ AÅCÛBÅD，
A«CÛB«D。 计算机学院
3. 若 A Û B ，则 "xA Û "xB ，$xA Û $xB。

§ 证明：（1与2的证明，略。）

计算机学院 149
149
定理2.5
§ 3. 若 A Û B ，则 "xA Û "xB ，$xA Û $xB 。
§证明：
§任取解释 I 和 I 中赋值 v， 因为 A Û B
§所以，对任意 dÎDI ， I(A)(v[x/d]) = I(B)(v[x/d])

§因此，对任意 dÎDI ，I(A)(v[x/d]) = 1

§ 当且仅当 对任意 dÎDI ， I(B)(v[x/d]) = 1
§从而， "xA Û "xB 。 计算机学院

§ 有 dÎDI ，I(A)(v[x/d]) = 1
§ 当且仅当 有 dÎDI ， I(B)(v[x/d]) = 1
§从而， $xA Û $xB 。 150
计算机学院 150
定理2.5
§在命题逻辑中列出的等值式模式，若将其中

§的 A, B, C 理解为谓词逻辑公式，仍然是正确的。

§如双重否定律。可证明如下：
§因为 A « ¬ ¬ A 是在命题逻辑中是永真式，所以它
在谓词逻辑中是重言式，进而也是永真式，

§因此，在谓词逻辑中，也有 A Û ¬ ¬A 。
计算机学院

§下面只给出一些与量词有关的等值式模式，这是谓
词逻辑区别于命题逻辑的地方。

计算机学院 151
151
 常用的量词等值式模式
§ 1、量词否定规则：

§ ① ¬"xA Û $x ¬A，

§ ② ¬$xA Û "x ¬A “三大规则”

§ 2、约束变元换名规则：

§ ① "xA Û "y Ayx ，

x
§ ② $xA Û $y Ay
计算机学院
§ 其中 y 不是 A 的自由变元且 y 对 A 中的 x 可代入。

§ 3、量词分配规则：

§ ① "x(A Ù B) Û "xA Ù "x B

§ ② $ x( A Ú B ) Û $xA Ú $xB
计算机学院 152
152
 常用的量词等值式模式
§ 4、量词辖域规则：

§ 在本组等值式模式中， x 不是 B 的自由变元。

§ ① "x (A Ú B) Û "xA Ú B

§ ② "x(A Ù B) Û "xA Ù B “八项注意”

§ ③ $x(A Ú B) Û $xA Ú B

§ ④ $x(A Ù B) Û $xA Ù B
计算机学院 特别注意
§ ⑤ "x(A ® B) Û $xA ® B
5和 7
§ ⑥ "x(B ® A) Û B ® "xA

§ ⑦ $x(A ® B) Û "xA ® B

§ ⑧ $x(B ® A) 计算机学院
Û B ® $xA 153
153
 常用的量词等值式模式证明
§ 4、量词辖域规则：

§ 在本组等值式模式中， x 不是 B 的自由变元。

§ ① "x (A Ú B) Û "xA Ú B

§ ② "x(A Ù B) Û "xA Ù B “八项注意”

§ ③ $x(A Ú B) Û $xA Ú B

§ ④ $x(A Ù B) Û $xA Ù B
计算机学院 特别注意
§ ⑤ "x(A ® B) Û $xA ® B
5和 7
§ ⑥ "x(B ® A) Û B ® "xA

§ ⑦ $x(A ® B) Û "xA ® B

§ ⑧ $x(B ® A) 计算机学院
Û B ® $xA 154
154
 量词否定规则证明

•1、量词否定律： ① ¬"xA Û $x ¬A
• ② ¬$xA Û "x ¬A
§ 证明：根据存在量词的定义 $xA Û ¬"x¬ A ，

§ ¬"x A Û (¬"x¬)¬A Û $x ¬A

§ ¬ $x A Û ¬(¬"x ¬A)
计算机学院
§ Û ¬¬("x ¬A) Û "x ¬A

计算机学院 155
155
 换名规则证明
x x
§2、换名规则：① "xA Û "y Ay ，② $xA Û $y Ay
§ y 不是 A 的自由变元且 y 对于 A 中的 x 是可代入的。
§证明： 若y与x相同，没有换名，等值式显然成立。
§ 故只考虑y与x不同的情况。
§ 注意到：任取 I 和 v，对任意 dÎDI ， 总有：
x
§ I(A)(v[x/d]) = I( A )(v[y/d])
y

§ I("xA)(v) = 1 计算机学院

§ 当且仅当：对任意 dÎDI ， I(A)(v[x/d]) = 1

x
§ A
当且仅当：对任意 dÎDI ， I( y )(v[y/d]) = 1
§ 当且仅当 ：I("y Ayx )(v) = 1
所以 " xA Û "y Ayx
计算机学院 156
156
§
 换名规则证明
§注意：在换名规则中，特别强调 y 不是 A 的自由变元，

§ 且 y 对 A 中的 x 可代入！

§当 y 是 A 的自由变元时，等值式可能不成立。比如：

计算机学院

计算机学院 157
157
 换名规则证明
§注意：在换名规则中，特别强调 y 不是 A 的自由变元，

§ 且 y 对 A 中的 x 可代入！

§当 y 是 A 的自由变元时，等值式可能不成立。比如：
§取 A 为 P(x, y)，"xA 为 "xP(x, y)，"y Ayx 为 "yP(y, y)
"xP ( x , y ) Û
/ "yP ( y , y )

§具体反例：论域 DI 为自然数集，
计算机学院
§ PI(x, y) = 1 当且仅当 x £ y，
§ v(y) = 1。
§则在解释与赋值下，"xP(x, y) = "xP(x, 1)= 0，
§ "yP(y, y) = 1。
§满足“可代入”要求：用新变量名做换名！
计算机学院 158
158
 换名规则证明
§① "x (A Ù B) Û "xA Ù "xB

§证明： 任取 I 和 v，
§ I ("x (A Ù B))(v) = 0
§ 当且仅当：存在 d ÎDI 使得 I(A Ù B)(v[x/d]) = 0

§当且仅当：存在 d ÎDI 使得 I(A)(v[x/d]) = 0

或者存在 d ÎDI 使 I(B)(v[x/d]) = 0

§ 计算机学院

计算机学院 159
159
 回顾：全称和存在量词语义
§设解释 I 的论域 DI = {a1,…, an} 是有穷集合，v 是 I 中赋值，
则
•I("xA)(v) = I(A)(v[x/a1]) Ù … Ù I(A)(v[x/an])
•I($xA)(v) = I(A)(v[x/a1]) Ú … Ú I(A)(v[x/an])
§全称量词是合取的推广，存在量词是析取的推广。
§对于论域是有穷集合的情况，计算公式的真值时可用这两个
计算机学院
公式消去量词。

计算机学院 160
160
 换名规则证明
§① "x (A Ù B) Û "xA Ù "xB

§证明： 任取 I 和 v，

§ I ("x (A Ù B))(v) = 0
§ 当且仅当：存在 d ÎDI 使得 I(A Ù B)(v[x/d]) = 0

§ 当且仅当：存在 d ÎDI 使得 I(A)(v[x/d]) = 0

§ 或者 I(B)(v[x/d]) = 0

§ 当且仅当：存在 d ÎDI 使得 计算机学院

I(A)(v[x/d]) = 0
或者存在 d ÎDI 使 I(B)(v[x/d]) = 0

§ 当且仅当： I("xA)(v) = 0 或者 I("xB)(v) = 0

§ 当且仅当： I("xA Ù "xB)(v) = 0

计算机学院 161
161