Professional Documents
Culture Documents
谓题逻辑 week5
谓题逻辑 week5
计算机学院
计算机学院 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。
计算机学院 147
147
证明A Û B 不成立的方法
§要证明 A Û B 不成立,只需找到一个反例,
§即具体找出一个解释 I 和 I 中一个赋值 v, 使得
§ I(A)(v) ¹ I(B)(v)。
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 。 150
计算机学院 150
定理2.5
§在命题逻辑中列出的等值式模式,若将其中
§的 A, B, C 理解为谓词逻辑公式,仍然是正确的。
§如双重否定律。可证明如下:
§因为 A « ¬ ¬ A 是在命题逻辑中是永真式,所以它
在谓词逻辑中是重言式,进而也是永真式,
§因此,在谓词逻辑中,也有 A Û ¬ ¬A 。
计算机学院
§下面只给出一些与量词有关的等值式模式,这是谓
词逻辑区别于命题逻辑的地方。
计算机学院 151
151
常用的量词等值式模式
§ 1、量词否定规则:
§ ① ¬"xA Û $x ¬A,
§ 2、约束变元换名规则:
§ 3、量词分配规则:
§ ② $ 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
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
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 计算机学院
§ 且 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
§ 计算机学院
计算机学院 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
§ 或者 I(B)(v[x/d]) = 0