离散数学屈婉玲
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
(F(b,a)F(b,b)F(b,c)) (F(c,a)F(c,b)F(c,c))
11
5.2 一阶逻辑前束范式
定义5.2 设A为一阶逻辑公式，若A具有如下形式
Q1x1Q2x2…QkxkB 则称A为前束范式，其中Qi (1 i k)为或，B为不含量词 的公式.
例如， x(F(x)G(x))
xy(F(x)(G(y)H(x,y))) 是前束范式
9
实例
解法二
xy(F(x)G(y)) x(F(x)yG(y))
辖域收缩等值式
x(F(x)G(a)G(b)G(c))
(F(a)G(a)G(b)G(c))
(F(b)G(a)G(b)G(c))
(F(c)G(a)G(b)G(c))
10
实例
(2) xyF(x,y) xyF(x,y)
x(F(x,a)F(x,b)F(x,c)) (F(a,a)F(a,b)F(a,c))
13
求前束范式的实例
(2) xF(x)xG(x)
解 xF(x)xG(x) xF(x)xG(x) x(F(x)G(x))
或 xF(x)xG(x)
xF(x)xG(x) xF(x)yG(y) xy(F(x)G(y))
（量词否定等值式） （量词分配等值式）
量词否定等值式 换名规则 辖域收缩扩张规则
例如，xF(x)xF(x), xF(x)yG(y) xF(x)yG(y) 等
第二组 (1) 消去量词等值式 设D ={a1, a2, … , an} ① xA(x) A(a1)A(a2)…A(an) ② xA(x) A(a1)A(a2)…A(an)
2
基本等值式
(2) 量词否定等值式 ① xA(x) xA(x) ② xA(x) xA(x)
量词否定等值式 置换 置换
7
实例
例2 将公式化成等值的不含既有约束出现、又有自由出现 的个体变项: x(F(x,y,z)yG(x,y,z))
解 x(F(x,y,z)yG(x,y,z))
x(F(x,y,z)tG(x,t,z)) 换名规则
xt(F(x,y,z)G(x,t,z))
辖域扩张等值式
或者 x(F(x,y,z)yG(x,y,z))
(4) 量词分配等值式 ① x(A(x)B(x)) xA(x)xB(x) ② x(A(x)B(x)) xA(x)xB(x)
注意：对，对无分配律Baidu Nhomakorabea
4
置换规则、换名规则、代替规则
1. 置换规则
设(A)是含A的公式, 那么, 若AB, 则(A)(B).
2. 换名规则 设A为一公式，将A中某量词辖域中个体变项的所有约束 出现及相应的指导变元换成该量词辖域中未曾出现过的个 体变项符号，其余部分不变，设所得公式为A，则AA.
而
x(F(x)G(x))
x(F(x)y(G(y)H(x,y))) 不是前束范式
12
前束范式存在定理
定理5.1（前束范式存在定理） 一阶逻辑中的任何公式都存在与之等值的前束范式
例4 求下列公式的前束范式 (1) x(M(x)F(x)) 解 x(M(x)F(x))
x(M(x)F(x)) （量词否定等值式） x(M(x)F(x)) 后两步结果都是前束范式，说明公式的前束范式不惟一.
代替规则
15
第五章 习题课
主要内容 一阶逻辑等值式
基本等值式，置换规则、换名规则、代替规则 前束范式
基本要求 深刻理解并牢记一阶逻辑中的重要等值式, 并能准确而熟
练地应用它们． 熟练正确地使用置换规则、换名规则、代替规则． 熟练地求出给定公式的前束范式．
x(F(x)G(x)) x(F(x)G(x)) x(F(x)G(x))
量词否定等值式 置换
x(F(x)G(x))
置换
6
实例
(2) 不是所有的人都爱看电影
解 令F(x)：x是人，G(x)：爱看电影. x(F(x)G(x)) 或 x(F(x)G(x))
x(F(x)G(x)) x(F(x)G(x)) x(F(x)G(x)) x(F(x)G(x))
3. 代替规则 设A为一公式，将A中某个个体变项的所有自由出现用A中 未曾出现过的个体变项符号代替，其余部分不变，设所得 公式为A，则AA.
5
实例
例1 将下面命题用两种形式符号化, 并证明两者等值: (1) 没有不犯错误的人
解 令F(x)：x是人，G(x)：x犯错误. x(F(x)G(x)) 或 x(F(x)G(x))
(3) 量词辖域收缩与扩张等值式. A(x) 是含 x 自由出现的公式，B 中不含 x 的自由出现 关于全称量词的： ① x(A(x)B) xA(x)B ② x(A(x)B) xA(x)B ③ x(A(x)B) xA(x)B ④ x(BA(x)) BxA(x)
3
基本等值式
关于存在量词的： ① x(A(x)B) xA(x)B ② x(A(x)B) xA(x)B ③ x(A(x)B) xA(x)B ④ x(BA(x)) BxA(x)
第五章 一阶逻辑等值演算
主要内容 一阶逻辑等值式与基本的等值式 置换规则、换名规则、代替规则 前束范式
1
5.1 一阶逻辑等值式与置换规则
定义5.1 设A, B是两个谓词公式, 如果AB是永真式, 则称A 与B等值, 记作AB, 并称AB是等值式
基本等值式 第一组 命题逻辑中16组基本等值式的代换实例
14
求前束范式的实例
(3) xF(x)y(G(x,y)H(y)) 解 xF(x)y(G(x,y)H(y))
zF(z)y(G(x,y)H(y)) zy(F(z)(G(x,y)H(y))) 或 xF(x)y(G(z,y)H(y)) xy(F(x)(G(z,y)H(y)))
换名规则 辖域收缩扩张规则
x(F(x,u,z)yG(x,y,z)) xy(F(x,u,z)G(x,y,z))
代替规则 辖域扩张等值式
8
实例
例3 设个体域D={a,b,c}, 消去下述公式中的量词: (1) xy(F(x)G(y))
解 xy(F(x)G(y)) (y(F(a)G(y)))(y(F(b)G(y)))(y(F(c)G(y))) ((F(a)G(a))(F(a)G(b))(F(a)G(c))) ((F(b)G(a))(F(b)G(b))(F(b)G(c))) ((F(c)G(a))(F(c)G(b))(F(c)G(c)))
11
5.2 一阶逻辑前束范式
定义5.2 设A为一阶逻辑公式，若A具有如下形式
Q1x1Q2x2…QkxkB 则称A为前束范式，其中Qi (1 i k)为或，B为不含量词 的公式.
例如， x(F(x)G(x))
xy(F(x)(G(y)H(x,y))) 是前束范式
9
实例
解法二
xy(F(x)G(y)) x(F(x)yG(y))
辖域收缩等值式
x(F(x)G(a)G(b)G(c))
(F(a)G(a)G(b)G(c))
(F(b)G(a)G(b)G(c))
(F(c)G(a)G(b)G(c))
10
实例
(2) xyF(x,y) xyF(x,y)
x(F(x,a)F(x,b)F(x,c)) (F(a,a)F(a,b)F(a,c))
13
求前束范式的实例
(2) xF(x)xG(x)
解 xF(x)xG(x) xF(x)xG(x) x(F(x)G(x))
或 xF(x)xG(x)
xF(x)xG(x) xF(x)yG(y) xy(F(x)G(y))
（量词否定等值式） （量词分配等值式）
量词否定等值式 换名规则 辖域收缩扩张规则
例如，xF(x)xF(x), xF(x)yG(y) xF(x)yG(y) 等
第二组 (1) 消去量词等值式 设D ={a1, a2, … , an} ① xA(x) A(a1)A(a2)…A(an) ② xA(x) A(a1)A(a2)…A(an)
2
基本等值式
(2) 量词否定等值式 ① xA(x) xA(x) ② xA(x) xA(x)
量词否定等值式 置换 置换
7
实例
例2 将公式化成等值的不含既有约束出现、又有自由出现 的个体变项: x(F(x,y,z)yG(x,y,z))
解 x(F(x,y,z)yG(x,y,z))
x(F(x,y,z)tG(x,t,z)) 换名规则
xt(F(x,y,z)G(x,t,z))
辖域扩张等值式
或者 x(F(x,y,z)yG(x,y,z))
(4) 量词分配等值式 ① x(A(x)B(x)) xA(x)xB(x) ② x(A(x)B(x)) xA(x)xB(x)
注意：对，对无分配律Baidu Nhomakorabea
4
置换规则、换名规则、代替规则
1. 置换规则
设(A)是含A的公式, 那么, 若AB, 则(A)(B).
2. 换名规则 设A为一公式，将A中某量词辖域中个体变项的所有约束 出现及相应的指导变元换成该量词辖域中未曾出现过的个 体变项符号，其余部分不变，设所得公式为A，则AA.
而
x(F(x)G(x))
x(F(x)y(G(y)H(x,y))) 不是前束范式
12
前束范式存在定理
定理5.1（前束范式存在定理） 一阶逻辑中的任何公式都存在与之等值的前束范式
例4 求下列公式的前束范式 (1) x(M(x)F(x)) 解 x(M(x)F(x))
x(M(x)F(x)) （量词否定等值式） x(M(x)F(x)) 后两步结果都是前束范式，说明公式的前束范式不惟一.
代替规则
15
第五章 习题课
主要内容 一阶逻辑等值式
基本等值式，置换规则、换名规则、代替规则 前束范式
基本要求 深刻理解并牢记一阶逻辑中的重要等值式, 并能准确而熟
练地应用它们． 熟练正确地使用置换规则、换名规则、代替规则． 熟练地求出给定公式的前束范式．
x(F(x)G(x)) x(F(x)G(x)) x(F(x)G(x))
量词否定等值式 置换
x(F(x)G(x))
置换
6
实例
(2) 不是所有的人都爱看电影
解 令F(x)：x是人，G(x)：爱看电影. x(F(x)G(x)) 或 x(F(x)G(x))
x(F(x)G(x)) x(F(x)G(x)) x(F(x)G(x)) x(F(x)G(x))
3. 代替规则 设A为一公式，将A中某个个体变项的所有自由出现用A中 未曾出现过的个体变项符号代替，其余部分不变，设所得 公式为A，则AA.
5
实例
例1 将下面命题用两种形式符号化, 并证明两者等值: (1) 没有不犯错误的人
解 令F(x)：x是人，G(x)：x犯错误. x(F(x)G(x)) 或 x(F(x)G(x))
(3) 量词辖域收缩与扩张等值式. A(x) 是含 x 自由出现的公式，B 中不含 x 的自由出现 关于全称量词的： ① x(A(x)B) xA(x)B ② x(A(x)B) xA(x)B ③ x(A(x)B) xA(x)B ④ x(BA(x)) BxA(x)
3
基本等值式
关于存在量词的： ① x(A(x)B) xA(x)B ② x(A(x)B) xA(x)B ③ x(A(x)B) xA(x)B ④ x(BA(x)) BxA(x)
第五章 一阶逻辑等值演算
主要内容 一阶逻辑等值式与基本的等值式 置换规则、换名规则、代替规则 前束范式
1
5.1 一阶逻辑等值式与置换规则
定义5.1 设A, B是两个谓词公式, 如果AB是永真式, 则称A 与B等值, 记作AB, 并称AB是等值式
基本等值式 第一组 命题逻辑中16组基本等值式的代换实例
14
求前束范式的实例
(3) xF(x)y(G(x,y)H(y)) 解 xF(x)y(G(x,y)H(y))
zF(z)y(G(x,y)H(y)) zy(F(z)(G(x,y)H(y))) 或 xF(x)y(G(z,y)H(y)) xy(F(x)(G(z,y)H(y)))
换名规则 辖域收缩扩张规则
x(F(x,u,z)yG(x,y,z)) xy(F(x,u,z)G(x,y,z))
代替规则 辖域扩张等值式
8
实例
例3 设个体域D={a,b,c}, 消去下述公式中的量词: (1) xy(F(x)G(y))
解 xy(F(x)G(y)) (y(F(a)G(y)))(y(F(b)G(y)))(y(F(c)G(y))) ((F(a)G(a))(F(a)G(b))(F(a)G(c))) ((F(b)G(a))(F(b)G(b))(F(b)G(c))) ((F(c)G(a))(F(c)G(b))(F(c)G(c)))