离散数学第二章

合集下载

离散数学第二章关系

离散数学第二章关系

例9 .设A={1,2,3,4} ,B={2,4,6,8,10} 。 R={(1,2),(2,4),(3,6)}。
则 (R) = {1,2,3}A , (R) = {2,4,6}B 。
二.关系的一些关联性质 17
离散数学
定理1. 设R1,R2 A×B是两个关系。若 R1 R2 ,则
(1)保序性: (R1) (R2) ; (2)保序性: (R1) (R2) ;
注:笛卡尔(1596-1650 ),法国数学家, 1637年发表《方法论》之 一《几何学》,首次提出坐标及变量概念。这里是其概念的推广。
定义2. • 二个集合A,B的(二维或二重)叉积定义为 A×B ={(a, b): a A bB} ; •其元素——二元组(a, b)通常称为序偶或偶对(ordered
故 (R1)∩ (R2) = {1,2 }
21
离散数学
所以 (R1)∩ (R2) (R1 ∩ R2) 。
元素aA和集合A1A在关系R A×B下的关联集 (1)a的R-关联集(R-relative set of a):
R(a)={b : bBaRb }B ;
(2) A1的R-关联集(R-relative set of A1): R(A1)={b : bB (aA1)(aRb) }B 。
•当A=B时,即RA×A,则称R是A上的一个二元关 系。
例1 . 设A是西安交通大学全体同学组成的集合。 11
离散数学
R={(a,b) : aAbAa与b是同乡}A×A 于是,R是西安交通大学同学之间的同乡关系。
例2 . 设A是某一大家庭。
R1 = {(a,b) : aAbAa是b的父亲或母亲}A×A R2 = {(a,b) : aAbAa是b的哥哥或姐姐}A×A R3 = {(a,b) : aAbAa是b的丈夫或妻子}A×A 于是,

离散数学第二章

离散数学第二章

P (t1 , t2 , , tn ) 是原子公式。
32
§2.1.3 谓词逻辑公式(公式 )
定义 谓词公式由下述各条规定组成: (1)原子公式是谓词公式。 (2)若A是谓词公式,则﹁ A也是谓词公式。 (3)若A和B是谓词公式,则A ∨ B,A ∧ B,A → B, 也是谓词公式。
22
2.存在量词
注意:1.在存在量词 的作用下,x不再起变量的作用, 存在量词也“约束”了x的变量作用。 注意:2.在存在量词作用下,命题中的特性谓词与命题 变元之间必须采用联结词合取,而不能用条件。 注意:3.命题的表示形式与个体域密切相关。 例:有些狗是聪明的。 若个体域为所有狗的集合,则该命题表示为:
这种“描述主语性质的谓语结构的抽象形式或描述主语所 涉及对象之间的关系的抽象形式”就是谓词。语句中的主 语称为个体。 在原子命题中引进谓词和个体的概念,这种以命题中的谓 词为基础的分析研究,称为谓词逻辑(或称谓词演算)。
7


§2.1.1 谓词与个体

在谓词逻辑中,将原子命题分解为谓词与个体两部分。
F (a1 , a2 , , an )
例如, T(a):a是教师。 D(3,2):3大于2。 C(武汉,北京,广州):武汉位于北 京和 广州之间。 注意顺序
9
§2.1.1 谓词与个体
在一个谓词中,个体是可以变化的,如 “是大学生” 中个体是可以变化的,可以是“张华是大学生” 也可
以是“何勇是大学生” ,等等。
31
§2.1.3 谓词逻辑公式(公式 )
定义( 项 ) (1)个体常量符是项;
(2)个体变量符是项;
(3)设f是n元函数符,
t1 , t2 , , tn 为项,则

离散数学第2章 命题逻辑等值演算

离散数学第2章 命题逻辑等值演算
6/2/2013 9:02 PM Discrete Math. , Chen Chen 15
例2.6
CHAPTER TWO
例2.6 在某次研讨会的休息时间,3名与会者根据王教授的口音 对他是哪个省市的人进行了判断: 甲说王教授不是苏州人,是上海人。
乙说王教授不是上海人,是苏州人。 丙说王教授不是上海人,也不是杭州人。 听完3人的判断,王教授笑着说,他们3人中有一人说得全对, 有一人说对了一半,有一人说得全不对。试用逻辑演算法分析 王教授到底是哪里的人? 解: 设命题 p, q, r分别表示 : 王教授是苏州、上海、杭州人。 则p, q, r中必有一个真命题,两个假命题。要通过逻辑演算将 真命题找出来。 设: 甲的判断为: A1= ┐p∧q; 乙的判断为:A2= p∧┐q; 丙的 判断为:A3= ┐q∧r。
等值式模式
CHAPTER TWO
当命题公式中变项较多时,用上述方法判断两个公式是否 等值计算量很大。为此,人们将一组经检验为正确的等值式作 为等值式模式,通过公式间的等值演算来判断两公式是否等值。 常用的等值式模式如下:
1.双重否定律:A⇔ ┐(┐A) 2.幂等律:A⇔A∨A, A⇔A∧A
3.交换律: A∨B⇔B∨A, A∧B⇔B∧A 4.结合律: (A∨B)∨C⇔A∨(B∨C), (A∧B)∧C⇔A∧(B∧C) 5.分配律:A∨(B∧C)⇔(A∨B)∧(A∨C) (∨对∧的分配律)
⇔ ┐(┐p∨q)∨r (蕴含等值式,置换规则) ⇔ (p∧┐q)∨r (德摩根律,置换规则)
⇔(p∨r)∧(┐q∨r)(分配律,置换规则) 为简便起见, 以后凡用到置换规则时, 均不必标出。
6/2/2013 9:02 PM Discrete Math. , Chen Chen 10

离散数学第二章谓词逻辑

离散数学第二章谓词逻辑
一般来说,当多个量词同时出现时, 它们的顺序不能随意调换。
*
第二章 谓 词 逻 辑 命题函数与量词
当个体域为有限集合时,如D={a1, a2 …, an},对任意谓词A(x),有 xA(x)A(a1)∧A(a2)∧…∧A(an ) xA(x)A(a1)∨A(a2)∨…∨A(an )
特性谓词常作合取项,如x(M(x)∧ G(x))。
第二章 谓 词 逻 辑
命题函数与量词
*
第二章 谓 词 逻 辑 2.2 命题函数与量词
例如:在实数域上用H(x,y)表示x+y=5,则命题“对于任意的x,都存在y使得x+y=5”可符号化为:xyH(x,y),其真值为1。若调换量词顺序后为: yxH(x,y) , 其真值为0。
*
第二章 谓 词 逻 辑 2.2 命题函数与量词
*
令S(x): x吸烟。则符号化为:
(x)(M(x)∧S(x))
令D(x): x登上过木星。则符号化为:
令Q(x):x是清华大学的学生。H(x):x是高
第二章 谓 词 逻 辑 2.2 命题函数与量词
*
小结:本节介绍了n元谓词、命题函数、全称量词和存在量词等概念。重点掌握全称量词和存在量词及量化命题的符号化。
添加标题
x(M(x) F(x)).
添加标题
第二章 谓 词 逻 辑
添加标题
命题函数与量词
*
当个体域为全体学生的集合时:
01
令P(x): x要参加考试。则(2)符号化为
02
xP(x).
03
当个体域为全总个体域时:
04
令S(x): x是学生。则(2)符号化为
05
x(S(x) P(x)).

离散数学第二章

离散数学第二章
怎么符号化? 怎么符号化?
5
3 量词的有关概念
1. 全称量词: “所有的”,“任何一个”,“每 全称量词: 所有的” 任何一个” 一个” 凡是” 一切” 一个”,“凡是”,“一切”表示个体域中每一 表示,称为全称量词。 用符号“ 个,用符号“∀”表示,称为全称量词。
如,所有的人都要呼吸。 所有的人都要呼吸。
16
常用一阶逻辑中的基本等值式
1. 有限个体域 有限个体域D={a1, a2, … ,an }中消去量词 中消去量词 等值式: 等值式
1) ∀xA( x) ⇔ A(a1 ) ∧ A(a2 ) ∧⋯∧ A(an );
2) ∃xA( x ) ⇔ A(a1 ) ∨ A(a2 ) ∨ ⋯ ∨ A(an ).
10
指导变项( 指导变项(元)等概念
在合式公式∀ 和 在合式公式∀xA和∃xA中,称x是指导变元,称A为相应量词 中 是指导变元, 为相应量词 作用域或辖域。 的作用域或辖域。 在辖域中x的出现称为 在公式 中的约束出现 在辖域中 的出现称为x在公式 中的约束出现; 的出现称为 在公式A中的约束出现; 公式A中不是约束出现的其它变元称为该变元的自由出现. 中不是约束出现的其它变元称为该变元的自由出现 公式 中不是约束出现的其它变元称为该变元的自由出现 例1 指出下列公式中的指导变项、量词的辖域、个体变项的 指出下列公式中的指导变项、量词的辖域、 自由出现和约束出现. 自由出现和约束出现 1) 2) ∀xF(x,y)→∃x(G(x) ∧¬ ∀zP(x,z)) → ∀x ∃ y(A(x,y)→∃z(B(x) ∧P(x,z))) →
永假式 如果 在任何解释下均为假 称A为矛盾 如果A在任何解释下均为假 解释下均为假,称 为 或称永假式 式(或称永假式 ; 或称永假式); 如果存在一个解释使A为真 则称A为 为真,则称 可满足式 如果存在一个解释使 为真 则称 为 可满足式; 可满足式;

离散数学-第二章-谓词逻辑-变元的约束

离散数学-第二章-谓词逻辑-变元的约束
例 I(x):表示x是整数,N(x):表示x是自然数, 假设个体域E是自然数集合,公式I(x)与N(x)在E上是 等价的。 而公式N(x)→I(x) 与N(x)∨I(x)就是与个体域无 关的等价的公式,即 N(x)→I(x)N(x)∨I(x)。
河南工业大学离散数学课程组
四、谓词公式的蕴含式定义
约束 变元
自由
(1)(x)(y)(P(x, y)∨Q(y, z))∧(x)R(x,y)
变元
指导 变元
(x)的 (y)的 指导 (x)的 辖域 辖域 变元 辖域
P(x, y)、Q(y, z)中的x, y为约束变元,z为自由变元, R(x,y)中的x为约束变元,但y为自由变元。
河南工业大学离散数学课程组
例(x)(A(x)∨B(x,y))∨C(x)∨ D(x,w) 换名: (y)(A(y)∨B(y,y))∨C(x)∨ D(x,w) 错
(w)(A(w)∨B(w,y))∨C(x)∨ D(x,w) 对 (z)(A(z)∨B(z,y))∨C(x)∨ D(x,w) 对
代入: (x)(A(x)∨B(x,y))∨C(y)∨ D(y,w) 错 (x)(A(x)∨B(x,y))∨C(w)∨ D(w,w) 错 (x)(A(x)∨B(x,y))∨C(u)∨ D(x,w) 错 (x)(A(x)∨B(x,y))∨C(u)∨ D(u,w) 对
(x)G(x) =
1, 0,
x D,G(x) = 1 x0 D,G(x0 ) = 0
(x)G(x) =
1, 0,
x0 D,G(x0 ) = 1 x D,G(x) = 0
河南工业大学离散数学课程组

对以下公式赋值后求真值。
(x)(P(x)→Q(f(x),a)) (x)(P(x)∧Q(x,a))

离散数学第二章 命题逻辑等值演算

离散数学第二章 命题逻辑等值演算

范式存在定理
定理2.3 任何命题公式都存在着与之等值的析取范式与合 定理 取范式. 取范式. 求公式 的范式的步骤 的范式的步骤: 证 求公式A的范式的步骤: (1) 消去 中的→, ↔ 消去A中的 中的→ A→B⇔¬ ∨B ⇔¬A∨ → ⇔¬ A↔B⇔(¬A∨B)∧(A∨¬ ∨¬B) ↔ ⇔ ¬ ∨ ∧ ∨¬ (2) 否定联结词¬的内移或消去 否定联结词¬ ¬ ¬A⇔ A ⇔ ⇔¬A∧¬ ¬(A∨B)⇔¬ ∧¬ ∨ ⇔¬ ∧¬B ⇔¬A∨¬ ¬(A∧B)⇔¬ ∨¬ ∧ ⇔¬ ∨¬B
真值表法
例1 判断 ¬(p∨q) 与 ¬p∧¬q 是否等值 ∨ ∧ 解 p q 0 0 0 1 1 0 1 1 ¬p ¬q 1 1 0 0 1 0 1 0 p∨q ¬(p∨q) ¬p∧¬q ¬(p∨q)↔(¬p∧¬q) ∨ ∨ ∧ ∨ ↔¬ ∧ 0 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1
实例(续)
(2) (p→q)↔(¬q→¬ → ↔ ¬ →¬ →¬p) 解 (p→q)↔(¬q→¬ → ↔ ¬ →¬ →¬p) ∨¬p) ⇔ (¬p∨q)↔(q∨¬ ¬ ∨ ↔ ∨¬ ⇔ (¬p∨q)↔(¬p∨q) ¬ ∨ ↔¬ ∨ ⇔1 该式为重言式. 该式为重言式 (蕴涵等值式) 蕴涵等值式) (交换律) 交换律)
实例(续)
(3) ((p∧q)∨(p∧¬ ∧r) ∧¬q))∧ ∧ ∨ ∧¬ 解 ((p∧q)∨(p∧¬ ∧r) ∧ ∨ ∧¬ ∧¬q))∧ (分配律) 分配律) (排中律) 排中律) (同一律) 同一律) ∨¬q))∧ ⇔ (p∧(q∨¬ ∧r ∧ ∨¬ ⇔ p∧1∧r ∧ ∧ ⇔ p∧r ∧ 成假赋值. 成假赋值 总结:A为矛盾式当且仅当 ⇔ 为重言式当且仅当A⇔ 总结 为矛盾式当且仅当A⇔0; A为重言式当且仅当 ⇔1 为矛盾式当且仅当 为重言式当且仅当 说明:演算步骤不惟一, 说明 演算步骤不惟一,应尽量使演算短些 演算步骤不惟一

离散数学第2章 谓词逻辑

离散数学第2章 谓词逻辑
例4:某些人对某些食物过敏。 设F(x,y):x对y过敏。 M(x):x是人。 G(y):y是食物。 (x) (y) (M(x) ∧ G(y) ∧ F(x,y))
33
§3 谓词公式与翻译
例5:凡是实数不是大于0,就是等于0或者小于0。 设R(x):x是实数。 P(x,0):x大于0。 Q(x,0):x等于0。 S(x,0):x小于0。 (x) (R(x) → ( P(x,0) Q(x,0) S(x,0) ) )
例:所有的人都是会死的。
设M(x):x是人。S(x):x是会死的。
个体域约定为{人类}:(x) (S(x))
全总个体域:
(x) ( M(x) → S(x) )
例:有一些人是不怕死的。
设M(x):x是人。F(x):x是不怕死的。
个体域约定为{人类}:(x) (F(x))
全总个体域:
(x) ( M(x) ∧ F(x) )
定义:在反映判断的句子中,用以刻划客体的性质或 关系的即是谓词。
5
§1 谓词的概念与表示法
客体,是指可以独立存在的事物,它可以是具体 的,也可以是抽象的,如张明,计算机,精神等。
表示特定的个体,称为客体常元,以a,b,c… 或带下标的ai,bi,ci…表示;
表示不确定的个体,称为客体变元,以x,y, z…或xi,yi,zi…表示。
4. 谓词中通常只写客体变元,因此不是命题,仅当 所有客体变元做出具体指定时,谓词才成为命题, 才有真值。
12
第二章 谓词逻辑
§1 谓词的概念与表示法 §2 命题函数与量词 §3 谓词公式与翻译 §4 变元的约束 §5 谓词演算的等价式与蕴含式 §6 前束范式 §7 谓词演算的推理理论
13
§2 命题函数与量词
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
23

注意:
有些关系既不是对称的也不是反对称的;
0 1 0 1 0 1 0 0 0
可以是既是对称的,也是反对称的

如相等关系
24
定义2.10:在集合X上的关系R,如果有:
x, y R且 y, z R ,则必有 x, z R ,
即非对角线上的1, 对称位置必须是0; 而非对角线上的0 不做要求
判断方法:
1. 如果如果存在a到b的有向边,就不存在b到a的有向边。 (逆命题不成立,即可以两条有向边都不存在); 2. 关系矩阵中,如果 a j ,i 1则ai , j 0,这里i j
(注意:a j ,i 0不一定ai , j 1)
n个
容易证明: n m nm m n i: R R R , R R mn ,m,n均为正整数 0 ii: R 是相等关系,即: R0 ={(x,x)|x∈A} 1 iii: R R
13

逆关系
由于关系中的元素是有序偶,则如果将该有序偶的顺
序颠倒,会得到一个新的关系,称之为逆关系。
~ ~ ~
~
补集的逆关系
~ ~ ~
(5) R S R S , R S R S
注意,这个跟德· 摩根律不一样
(6) R S R S
~
~
~
18
关系的重要性质

定义2.6:在集合X上的关系R,如果对任意 x X , 有 x, x R ,则称R是自反的。
如:整数集合上的相等关系、" " 关系等;

如果 miq mqj 1 即mij 0 ,则 miq mqj 1 即 ai , aq R且 aq , a j R 由传递性的定义可知,如果R为传递的, 必有 ai , a j R ,即应有 mij 1 2 即:当R是A上的传递关系时,如果 M R 中的元素 bij 0 , 则必须有 mij 1 ,反之亦然
1 1 0 M R 0 0 1 0 0 0
B =m时,M R 为n m矩阵 1. A =n, 2. 当R为A上的关系时,M R 为n n方阵
7
关系的运算

关系的交、并、补、差
由于关系也是集合,是一些有序偶组成的集合,因而
集合的一些交、并、补、差等在关系中也适用,并且 集合的运算性质也同样适用; 新运算:复合运算、逆运算。
S T R S T R S T R S T
12
R
关系的幂运算
由于关系中的复合运算满足结合律,所以复合运算 的括号可以省去,即: R S T R S T R S T 说明关系的幂运算是有意义的:
R n 14444 RoR oL o4 R 42 4444 3
y2
y3 y1
R x1
x2 x3
S
z3
R◦S
z2
z1
在关系图中,两条相连的有向边,其中第一条有向边
的起始点和第二条有向边的终点组成的有序偶就是复 合关系的元素。
9
关系复合运算的矩阵表示:
设X= x1 L xn , Y y1 L ym , Z z1 L zk
R是从X到Y的关系,关系矩阵为 M R ; S是从Y到Z的关系,关系矩阵为 M s 。 则复合关系 R S 的关系矩阵:
判断方法:
1. 关系图中,每个节点都有环; 2. 关系矩阵中主对角线上的元素都是1(其它元素任意)。
19

定义2.7:在集合X上的关系R,如果对任意 x X , 有 x, x R ,则称R是反自反的。
如:整数集合上的 " " 、" " 关系, 等等
判断方法:
1. 关系图中,每个节点都没有环; 2. 关系矩阵中主对角线上的元素都是0。
4

5
关系的表示方法

图形法
如例2.1中的示意图; 用平面上的点来表示定义域和值域;
a, b R ,则画一条从a到b的有向边; 如果同时存在 a, b R, b, a R ,则画两条边 a b, b a
如果 如果
a, a R ,则画一个从a出发指向自身的环。
定义2.5 设R是一个从X到Y的关系
~
R x, y | x X , y Y
则从Y到X的关系 R 称为R的逆关系
R y, x | x, y R
~
14

关于逆关系的一些说明:
空关系的逆关系是空关系; 设关系 R的关系矩阵为 M R ~
,则 M R 的转置M R ,就是逆
R2 R3 R1 R2 R1 R3 1, x
R2 R3 R1
先取交集,再复合,交 运算可能会把一些可用 的有序偶先给排除掉了
17
(3) X Y Y X
~ ~ R ~ R (4) ~
R={(1,1),(1,2),(2,3)}
两个集合之间的关系
6
矩阵表示法

该矩阵称为关系矩阵,关系R的关系矩阵用 M R 表示 在关系运算中广泛应用
其中mi,j取值0或1,表示 a i ,a j 之间量的存在关系 (R是A上的关系)或表示 a i ,b j 之间的存在关系 (R是A到B的关系)
关系

关系的基本概念
关系及其定义


对现实中关系的一种抽象描述 集合内或集合间元素之间
例2.1:


设一个旅馆有n个房间,每个房间可住两 个旅客,因此一共可以住2n个客人; 则在旅馆内,旅客和房间之间就存在一定 的关系,该关系可描述为“某旅客住在某 房间”,可用R表示该关系。
1
设n=3,
用1、2、3分别表示3个房间 用a、b、c、d、e、f分别表示6个旅客 则用如下示意图可表示: a b 1 c d 2 e f 3 由图可知: 旅客a与房间1之间存在关系R,记作aR1 旅客a与房间2之间不存在关系R,记作aR2
称R是传递的。
25

x, y R
26
思考:

如下的关系具有何种性质?
基数大于1的集合上的全域关系; 空关系
非空集合上的空关系 空集合上的空关系

27

28

传递性的判别方法
很难从关系图或关系矩阵中直接判断; 思考:如何判断?
29

下面介绍的方法在关系矩阵的基础上通过矩阵运 算来进行的,适于计算机处理;
10
上例中:
y2
y3 y1
R x1
x2 x3
S
z3
R◦S
z2
z1
1 M R 0 0 0 M s 0 0
1 1 0 1 0 0
0 0 0 0 1 1
MR S MR
1 1 0 0 1 0 0 1 1 M S 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0
T
关系 R 的关系矩阵;

即: M ~ M R
R
T
M R [mi , j ]
mij=1表示(i,j)在关系R中,则在其 逆关系中应该是有( j,i),即mji=1
~
将R的关系图每条有向边的箭头方向颠倒,就得到 R

关系图。
15


Qx , Qy
Qx R R Qy R
16
(2) R1
20

注意:
有些关系既不是自反的(因为2上无环); 也不是反自反的(因为1、3上有环)。 例如:
对角线元素不全为0,也不全为1
21

定义2.8:在集合X上的关系R,如果有 x, y R , 必有 y, x R ,则称关系R是对称的。
1 1 1 1 0 0 1 0 0
b11 b12 bij bn1 bn 2
b1n bnn
由矩阵的乘法可知:
bij mik mkj mi1m1 j mi 2 m2 j L min mnj
k 1
31
n

由于 mij 的取值为1或0,所以 bij 的表达式中的各项 mik mkj 的取值也是0或1。

复合关系
定义2.3:设R是一个从X到Y的关系,S是一个从Y到Z
的关系,则R与S的复合关系 R S 可定义为:
R S={ x, z |x X , z Z , 至少存在一个y Y , 有 x, y R且 y, z S}
复合关系R S是从X到Z的关系
8

图形说明:
R2 R3 R1 R1 R2 R3 R1 R2 R3 R4 R2 R2 R3 R4 R2
R2 R1 R3 R2 R1 R3 R4 R3 R4 R4 R3 R4
注意:第二、四不是等式,以第二个式子说明为什么不是“=”
A 1, 2,3 , B a, b , C x, y, z R1 1, a , 1, b , R2 a, x , R3 b, x
判断方法:
1. 关系图中,如果有a到b的有向边,则一定也有b到a的 有向边; 2. 关系矩阵关于主对角线对称。
22

定义2.9:在集合X上的关系R,如果有 x, y R 且 x y ,必有 y, x R ,则称R是反对称的。
0 1 0 0 0 1 0 0 0
m11 设集合 A a1,L , an , m21 R是A上的二元关系, MR 关系矩阵为: mn1 思考:如何通过关系 矩阵判断传递性? m12 m22 M K O m1n m2 n M mij nn mnn
相关文档
最新文档