离散数学第三章
合集下载
离散数学第三章 谓词演算基础-自由变元和约束变元
(AB)，(AB)，(AB)，(AB)为公式；
(5) 若A是合式公式，x是A中出现的任何个体变元，则 xA(x)，xA(x)为合式公式。 (6)只有有限次使用(1)、(2)、(3)、(4)、(5)所得到的式 子才是合式公式。
自由出现和约束出现
定义2：设为任何一个谓词演算公式，并设
xA(x)，xA(x)为公式的子公式，
代入规则
(1) 代入必须处处进行，即代入时必须对公 式中出现的所有同名的自由变元进行。 (2) 代入后不能改变原式和代入式的约束关 系。 (3) 代入也可以对谓词填式而言，但也要遵 循上面两条规则； (4) 命题变元也可以实施代入。
例 x(A(x，y)y(B(x，y)C(z)))
试把公式中的自由变元y 代以式子x2+2。 解：先对原式改名，x改为u，y改为v， 改名后得： u(A(u，y)v(B(u，v)C(z))) 最后代入得： u(A(u，x2+2)v(B(u，v)C(z))) 验证公式可知，没有改变变元的约束关系， 所以这种代入符合代入规则。
第三章 谓词演算基础
3.1 谓词与个体 3.2 函数与量词 3.3 自由变元和约束变元 3.3.1 自由出现和约束出现 3.3.2 改名和代入 3.4 永真性和可满足性 3.5 唯一性量词与摹状词
复习: 项
例 考察谓词 WRITE(x,y)表示x 写了y 的谓词填式：
实体
WRITE(Shakespeare，Hamlet) WRITE(Shakespeare，y) WRITE(son(Shakespeare)，Hamlet)
例 对下面公式实施改名
(1) x(A(x，y)y(B(x，y)C(z))) (2) xF(x，y)∧xG(x，y) 解：(1) 可把公式改名为： x(A(x，y)u(B(x，u)C(z))) (2) x是约束变元,y是自由变元。而x的两次 出现尽管均是约束的,但分别在不同的辖 域。含义是互相无关的。可以将一处换 名,但不能与y同名。可以改名为： xF(x，y)∧uG(u，y)
离散数学第三章 谓词演算基础-唯一性量词与摹状词
函数与量词 3.3 自由变元和约束变元 3.4 永真性和可满足性 3.5 唯一性量词与摹状词 3.5.1 唯一性量词 3.5.2 摹状词
唯一性量词 ！
！X 表示“只有一个X”、“恰好有一个X” 。 ！x(x)表示恰好有一个x使得(x)为真。 等价公式： ！x(x)=x((x)y(xy(y)))
谓词P(x)是指个体x所具有的性质， 摹状词是指具有性质P的那个个体x。
摹状词 (指导变元、作用域)
x(x)——使得(x)成立的那个惟一的个体， 其中称为摹状词， x称为摹状词的指导变元， (x)称为摹状词的作用域。 注意 摹状词的作用域与唯一性量词的作用域 均为谓词演算公式，但摹状词的值为个 体，而唯一性量词的值为真或假，且要 使用摹状词必须满足存在唯一性。
这里, 是一个谓词.
例(p37) 并非读书最多的人最有知识
解：设 A(e)表示“e为人”； B(e1，e2)表示e1比e2读书多； C(e1，e2)表示e1比e2有知识。 则“读书最多的人”译为： xy(A(x)y((A(y)yx)B(x，y))) 把它记为u，故原句译为： t((A(t)tu)C(u，t))
第三章 谓词演算基础
3.1 谓词与个体 3.2 函数与量词 3.3 自由变元和约束变元 3.4 永真性和可满足性 3.5 唯一性量词与摹状词 3.5.1 唯一性量词 3.5.2 摹状词 第四章 谓词演算的推理理论
第三章 谓词演算基础
3.1 谓词与个体 3.2 函数与量词 3.3 自由变元和约束变元 3.4 永真性和可满足性 3.5 唯一性量词与摹状词 3.5.1 唯一性量词 3.5.2 摹状词
摹状词
摹状词——描述特定个体的短语（利用个体的 特征性质来描述特定的个体）， 比如： ◇ “纸的发明者”， ◇ “上帝的创造者”等。
唯一性量词 ！
！X 表示“只有一个X”、“恰好有一个X” 。 ！x(x)表示恰好有一个x使得(x)为真。 等价公式： ！x(x)=x((x)y(xy(y)))
谓词P(x)是指个体x所具有的性质， 摹状词是指具有性质P的那个个体x。
摹状词 (指导变元、作用域)
x(x)——使得(x)成立的那个惟一的个体， 其中称为摹状词， x称为摹状词的指导变元， (x)称为摹状词的作用域。 注意 摹状词的作用域与唯一性量词的作用域 均为谓词演算公式，但摹状词的值为个 体，而唯一性量词的值为真或假，且要 使用摹状词必须满足存在唯一性。
这里, 是一个谓词.
例(p37) 并非读书最多的人最有知识
解：设 A(e)表示“e为人”； B(e1，e2)表示e1比e2读书多； C(e1，e2)表示e1比e2有知识。 则“读书最多的人”译为： xy(A(x)y((A(y)yx)B(x，y))) 把它记为u，故原句译为： t((A(t)tu)C(u，t))
第三章 谓词演算基础
3.1 谓词与个体 3.2 函数与量词 3.3 自由变元和约束变元 3.4 永真性和可满足性 3.5 唯一性量词与摹状词 3.5.1 唯一性量词 3.5.2 摹状词 第四章 谓词演算的推理理论
第三章 谓词演算基础
3.1 谓词与个体 3.2 函数与量词 3.3 自由变元和约束变元 3.4 永真性和可满足性 3.5 唯一性量词与摹状词 3.5.1 唯一性量词 3.5.2 摹状词
摹状词
摹状词——描述特定个体的短语（利用个体的 特征性质来描述特定的个体）， 比如： ◇ “纸的发明者”， ◇ “上帝的创造者”等。
屈婉玲离散数学第三章
推理定律——重言蕴涵式
1. A (AB)
附加律
2. (AB) A
化简律
3. (AB)A B
假言推理
4. (AB)B A
拒取式
5. (AB)B A
析取三段论
6. (AB)(BC) (AC)
假言三段论
7. (AB)(BC) (AC)
等价三段论
8. (AB)(CD)(AC) (BD)
构造性二难
熟练掌握判断推理是否正确的不同方法（如真值表法、等 值演算法、主析取范式法等）
牢记 P 系统中各条推理规则 熟练掌握构造证明的直接证明法、附加前提证明法和归谬
法 会解决实际中的简单推理问题
练习1：判断推理是否正确
1. 判断下面推理是否正确: (1) 前提：pq, q 结论：p
解 推理的形式结构: (pq)qp 方法一：等值演算法
练习2解答
(3) 证明： ① p(qr) ②p ③ qr ④ sq ⑤s ⑥ q ⑦r ⑧ rt
前提引入 前提引入 ①②假言推理 前提引入 前提引入 ④⑤假言推理 ③⑥析取三段论 ⑦附加
谢谢大家！
定理3.1 由命题公式A1, A2, …, Ak 推B的推理正确当且仅当 A1A2…AkB为重言式
注意: 推理正确不能保证结论一定正确
推理的形式结构
由{A1, A2, …, Ak}推B的推理有以下的形式结构： 1. {A1, A2, …, Ak} B
若推理正确, 记为{A1,A2,,An} B 2. A1A2…AkB
练习2：构造证明
2. 在系统P中构造下面推理的证明： 如果今天是周六，我们就到颐和园或圆明园玩. 如果颐和 园游人太多，就不去颐和园. 今天是周六，并且颐和园游 人太多. 所以, 我们去圆明园或动物园玩.
离散数学第3章 集合
命题演算证明法的书写规范 (以下的X和Y代表集合公式) (1) 证XY
任取x， xX … xY (2) 证X=Y
方法一 分别证明 XY 和 YX 方法二 任取x，xX … xY
注意：在使用方法二的格式时，必须保证每步推理都是充分 必要的
27
第三章 集合
命题演算法
例3-3.2 证明A(AB) = A （吸收律）
元素a属于A，记作aA； 或者a不属于A，记作aA，也可以记作┓(aA)。
（4）任意性：集合的元素也可以是集合。 例：A={1，{2}，2，{3，4}，{6}} A=5，2A，{2}A，6A,{6}A
6
第三章 集合 例如：A={{a,b}，d，{{b}}}。可以用一种树形图来表示这种
隶属关系，该图分层构成，每一层上的结点都表示一个集 合，它的儿子就是它的元素。 集合的树型层次结构
32
第三章 集合
§3-3-3 笛卡儿积
定义3-3.2 两个元素a，b组成二元组，若它们有次序 之别，称为二元有序组，或称为有序对或序偶，记为<a， b>，称a为第一分量，b为第二分量；若它们无次序区分， 称为二元无序组，或称为无序对，记为（a，b）。
有序对具有如下性质。 （1）有序性：当x≠y时<x，y>≠<y，x>。 （2）<x，y>与<u，v>相等的充分必要条件是
A
B
11
第三章 集合
§3-2 集合之间的关系
§3-2-1 集合之间的关系 （1）相等关系： • 两集合A和B相等，当且仅当它们有相同的元素。 • 若A与B相等，记为A=B；否则，记为A≠B。 • 可形式化为：A=B(x)(xAxB)。
12
第三章 集合
任取x， xX … xY (2) 证X=Y
方法一 分别证明 XY 和 YX 方法二 任取x，xX … xY
注意：在使用方法二的格式时，必须保证每步推理都是充分 必要的
27
第三章 集合
命题演算法
例3-3.2 证明A(AB) = A （吸收律）
元素a属于A，记作aA； 或者a不属于A，记作aA，也可以记作┓(aA)。
（4）任意性：集合的元素也可以是集合。 例：A={1，{2}，2，{3，4}，{6}} A=5，2A，{2}A，6A,{6}A
6
第三章 集合 例如：A={{a,b}，d，{{b}}}。可以用一种树形图来表示这种
隶属关系，该图分层构成，每一层上的结点都表示一个集 合，它的儿子就是它的元素。 集合的树型层次结构
32
第三章 集合
§3-3-3 笛卡儿积
定义3-3.2 两个元素a，b组成二元组，若它们有次序 之别，称为二元有序组，或称为有序对或序偶，记为<a， b>，称a为第一分量，b为第二分量；若它们无次序区分， 称为二元无序组，或称为无序对，记为（a，b）。
有序对具有如下性质。 （1）有序性：当x≠y时<x，y>≠<y，x>。 （2）<x，y>与<u，v>相等的充分必要条件是
A
B
11
第三章 集合
§3-2 集合之间的关系
§3-2-1 集合之间的关系 （1）相等关系： • 两集合A和B相等，当且仅当它们有相同的元素。 • 若A与B相等，记为A=B；否则，记为A≠B。 • 可形式化为：A=B(x)(xAxB)。
12
第三章 集合
离散数学 第三章
思考： 思考： ≠ 和 ⊄ 的定义 注意 ∈ 和 ⊆ 是不同层次的问题
空集与全集
空集 ∅ 不含任何元素的集合 实例 {x | x2+1=0∧x∈R} 就是空集 ∧ ∈ 定理 空集是任何集合的子集 ∅⊆A ∈∅→x∈ ∅⊆ ⇔ ∀x (x∈∅→ ∈A) ⇔T ∈∅→ 空集是惟一的. 推论 空集是惟一的. 假设存在∅ 证 假设存在∅1和∅2，则∅1⊆∅2 且∅1⊆∅2， 因此∅ ∅ 因此∅1=∅2 全集 E 相对性 在给定问题中，全集包含任何集合， 在给定问题中，全集包含任何集合，即∀A (A⊆E ) ⊆
1、集合基本运算的定义 、 ∪ ∩ − ∼ ⊕ 2、文氏图（John Venn） 、文氏图（ ） 3、例题 、 4、集合运算的算律 、 5、集合 A∪B = { x | x∈A ∨ x∈B } ∪ ∈ ∈ A∩B = { x | x∈A ∧ x∈B } ∩ ∈ ∈ A−B = { x | x∈A ∧ x∉B } − ∈ ∉ A⊕B = (A−B)∪(B−A) ⊕ − ∪ − = (A∪B)−(A∩B) ∪ − ∩ 绝对补 ∼A = E−A −
i =1 m 1≤i < j ≤ m
∑
| Ai ∩ Aj | −
1≤i < j < k ≤ m
∑
| Ai ∩ Aj ∩ Ak | +...
+(−1)m | A1 ∩ A2 ∩ ... ∩ Am |
应用
之间（ 在内） 例1 求1到1000之间（包含 和1000在内）既不能 到 之间 包含1和 在内 整除， 整除的数有多少个？ 被 5 和6 整除，也不能被 8 整除的数有多少个？ 解：S ={ x | x∈Z, 1≤ x ≤1000 }, ∈ ≤ 如下定义 S 的 3 个子集 A, B, C： ： A={ x | x∈S, 5 | x }， ∈ ， B={ x | x∈S, 6 | x }， ∈ ， C={ x | x∈S, 8 | x } ∈
离散数学 第3章 基于归结原理的推理证明
7
3.1.1.2 斯柯林(Skolem)标准范式
定义 3.1.2 从前束范式中消去全部存在量词所得到的公式即为 Skolem 标准范式。 例如，如果用 Skolem 函数 f(x)代替前束形范式 x (y)(z)( P( x) F ( y, z) Q( y, z)) 中 的 y 即得到 Skolem 标准范式： ( x) ( z)(P(x)∧F(f(x), z)∧Q(f(x), z)) Skolem 标准型的一般形式是
(x1 )(x2 )...(xn )M ( x1, x2 ,...,xn )
其中，M(x1,x2,…,xn)是一个合取范式，称为 Skolem 标准型的母式。
8
将谓词公式 G 化为 Skolem 标准型的步骤如下： （1）消去谓词公式 G 中的蕴涵（→）和双条件符号（） ，以A∨B 代替 A→B，以(A∧ B)∨(A∧B)替换 AB。 （2）减少否定符号（）的辖域，使否定符号“”最多只作用到一个谓词上。 （3）重新命名变元名，使所有的变元的名字均不同，并且自由变元及约束变元亦不同。 （4）消去存在量词。这里分两种情况，一种情况是存在量词不出现在全称量词的辖域内，此 时，只要用一个新的个体常量替换该存在量词约束的变元，就可以消去存在量词；另一种情况 是，存在量词位于一个或多个全称量词的辖域内，这时需要用一个 Skolem 函数替换存在量词 而将其消去。
15
例 3.2.1 求子句集 S＝{T(x)∨Q(z),R(f(y))}的 H 域。 解 此例中没有个体常量，任意指定一个常量 a 作为个体常量；只有一个函数 f(y)，有： H0={a} H1={a,f(a)} H2={a,(a),f(f(a))} …… H∞={a,f(a),f(f(a)),f(f(f(a))),…}
离散数学导论第三章消解原理
在自然语言处理中的应用
总结词
消解原理在自然语言处理中用于解决语义歧义和信息抽取。
详细描述
在自然语言处理中，消解原理主要用于解决语义歧义和信息抽取问题。通过消解语义歧 义，可以确定句子中词语的准确含义，提高自然语言处理的准确率。此外，消解原理还 可以用于信息抽取，从大量的文本数据中抽取关键信息，为后续的数据分析和知识挖掘
提供支持。
06
总结与展望
消解原理的总结
消解原理是离散数学中的一种重要理论，主要用于解决逻辑推理和决策问题。它通过将问题分解为更 小的子问题，并利用已知信息来逐步解决这些子问题，最终达到解决原始问题的目的。
消解原理的应用范围广泛，包括人工智能、自然语言处理、计算机科学等领域。它为许多问题提供了有 效的解决方案，如逻辑推理、规划、约束满足问题等。
02
例如，在约束满足问题中，可以 通过改进消解原理来减少搜索空 间的大小，从而更快地找到满足 约束条件的解。
混合消解原理
混合消解原理是指将不同的消解原理结合起来，形成一个新的消解原理，以处理特定的问题或领域。
例如，在电路验证中，可以将约束满足问题和逻辑推理中的消解原理结合起来，形成一个混合消解原 理，以更有效地处理电路验证问题。
05
消解原理的应用案例
在逻辑电路设计中的应用
总结词
详细描述
消解原理在逻辑电路设计中发挥了重要作用， 通过消解矛盾的逻辑表达式，可以优化电路 设计，减少冗余和冲突。
在逻辑电路设计中，消解原理主要用于解决 逻辑表达式的矛盾。通过将矛盾的逻辑表达 式进行消解，可以找到最简化的解决方案， 优化电路设计。消解原理的应用可以减少冗 余的逻辑门，降低电路的复杂度，提高电路 的性能和可靠性。
02
离散数学第三章
离散数学第三章1. 函数：A 中任意一个元素在B 中有唯一确定的元素与之对应。
2. 空函数（A 为空，B 不为空）常函数。
3. 对于函数 f ，常将 R f 记作 f (A )，即f (A ) = R f = {b | b ∈ B 且存在 a ∈ A 使 f (a ) = b }。
4. 记由集合 A 到 B 的所有函数的集合为，B A = { f | f : A → B }，（读着“B 上 A ”），则 #(B A ) = (#B )#A 。
5. 设有函数 f : A → B 和 g : C → B ，如果 C ⊆ A ，C ≠ Φ 且对于所有的 a ∈ C ，有 f (a ) = g (a )，则称函数 g 是 f 在 C 上的限制，并称函数 f 是 g 在 A 上的扩充.6. g = f ⋂ (C ⨯ B ); f 是 g 在 A 上的扩充 ⇔ g ⊆ f 。
(证明见ppt)7. 内射或单射（一对一）；满射或映上的函数（B 中的任意元素都有原像）；既是内射也是满射叫双射（一一对应8. 例题：9. 上例是满射不是内射；10. 函数的复合满足结合律：h ⋅ (g ⋅ f ) = (h ⋅ g ) ⋅ f11. 若函数 f : A → A 满足 f 2 = f ，则称 f 是幂等函数，对任意正整数 n ，f n = f12. 设有函数 f : A → B ，g : B → C ，(1) 如果 f 和 g 都是内射，则 g ⋅ f 也是内射;(2) 如果 f 和 g 都是满射，则 g ⋅ f 也是满射;(3) 如果 f 和 g 都是双射，由 g ⋅ f 也是双射。
13. 设有函数 f : A → B 和 g : B → C ，(1) 如果 g ⋅ f 是内射，则 f 是内射；(2) 如果 g ⋅ f 是满射，则 g 是满射；(3) 如果 g ⋅ f 是双射，则 f 是内射而 g 是满射。
（证明用反证法）14.双射才可逆。