离散数学5.1-二元关系一

Search for a command to run...

No comments yet. Be the first to comment.
1、集合的概念 N元子集:含有n个元素的子集叫做N元子集. 例题:已知集合 A={1,2,3},按元素个数对 A 的所有子集分类 0元子集:∅ 1元子集:{1}, {2}, {3} 2 元子集:{1,2}, {1,3}, {2,3} 3 元子集:{1,2,3} 幂集:设 A 为集合,由 A 的全部子集构成的集合称为 A 的幂集,记作P(A). 例题:A={1,2,3},求A的幂集 答案:P

一、基本元件 元件 符号 说明 例子 个体词 a, b, c... 代表具体对象(常元) a:小明 个体变元 x, y, z... 代表任意对象 x 表示论域中任一元素 谓词 P(x), Q(x,y)... 表示性质或关系 P(x):x是学生; L(x,y):x喜欢y 量词 ∀, ∃ 修饰个体范围 ∀x(所有x); ∃x(存在x) 连接词 ¬, ∧, ∨, →, ↔ 命

本质是"逻辑推导游戏",给定几个前提,用固定规则一步步推出结论。套路固定,背下规则就能拿分。 一、核心推理规则公式: 假言推理(MP)A→B, A ⇒ B肯定前件→肯定后件拒取式(MT)A→B, ¬B ⇒ ¬A否定后件→否定前件假言三段论(HS)A→B, B→C ⇒ A→C蕴含传递析取三段论(DS)A∨B, ¬A ⇒ B否定一边得另一边附加律A ⇒ A∨B或上一个随便什么化简律A∧B ⇒ A (或

定义:S是一个联结词集合,若任一个命题公式都可以由s中的联结词表示出来命题公式与之等价,则称S是一个联结词完备集。 也就是说一个连接词集合,能表达出所有真值函数,称为完备集 以下是完备集: S1={¬,∧,∨} —— 否定、合取、析取 S2={¬,∧,∨,→} —— 否定、合取、析取、蕴涵 S3={¬,∧,∨,→,↔} —— 否定、合取、析取、蕴涵、等价 S4={¬,∧} —— 否定、

1、有序对(序偶):由两个元素 x 和 y 按照确定顺序排列组成的二元组,记作⟨x, y⟩
2、笛卡尔积:以 A 中元素为第一元、B 中元素为第二元,构造所有有序对⟨x,y⟩; 由全部这类有序对构成的集合,称为 A 与 B 的笛卡尔积,记作 AXB
例题:
已知 A={a,b}, B={0,1,2},求笛卡尔积 A × B、B × A
A × B(前元取自 A,后元取自 B)
A × B = {<a,0>,<a,1>,<a,2>,<b,0>,<b,1>,<b,2> }
B × A(前元取自 B,后元取自 A)
B × A = {<0,a>,<0,b>,<1,a>,<1,b>,<2,a>,<2,b> }
tips:可以当线性代数来理解,都是A × B 不等于 B × A
例题:设集合X={1,2,3},R 为 X 上的小于关系,求 R=________。
解题思路:当X=X的时候就称为X上的二元关系,而小于关系就是<a,b>其中a<b
所以X x X={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<2,3>,<3,1>,<3,2>,<3,3>}
而小于关系则R={<1,2>,<1,3>,<2,3>}
所以答案为:R={<1,2>,<1,3>,<2,3>}
例题:设集合 A,且 |A|=3,则 A 上最多可定义___个不同二元关系。
若集合元素个数|A|,笛卡尔积 A x A的有序对总数:n^2
A 上的二元关系是 A x A 的子集;一个含 m 个元素的集合,子集总数为 2^(m^2)
所以答案为:2^(3^3)=512
关系矩阵:N个元素的集合下,NxN大小的矩阵,根据<行,列>在矩阵中画1,其余为0
关系图:N个元素的集合下,1~N个端点,根据<起点,终点>连线
根据原理:关系矩阵:N个元素的集合下,NxN大小的矩阵,根据<行,列>在矩阵中画1,其余为0,那么可以得出答案:
注意:因为原题没出现数字元素,所以要用出现的字母元素来表示
1、概念:
tips:<第一元素,第二元素>
例题:
简单来说:
逆关系R⁻¹:全部反着写
比如 R = {<1,2>,<3,1>} → R⁻¹ = {<2,1>,<1,3>}
右复合R∘S:从R的终点出发,能找到S里以它为起点的,就连过去,并以R的起点和S的终点为一个元素。
比如 R = {<1,2>,<2,3>},S = {<2,a>,<3,b>} → R∘S = {<1,a>,<2,b>}