离散数学期末考试题(附答案和含解析1) - 副本

合集下载

离散数学期末考试题及答案

离散数学期末考试题及答案

离散数学期末考试题及答案1.选择题(每题3分,共30分)1. 下列命题中,属于复合命题的是:A. 3是一个奇数,且2是一个偶数B. 如果2是一个素数,那么4也是一个素数C. 不是所有奇数都是素数D. 存在一个整数x,使得x>5且x是一个偶数答案:D2. 已知命题p:草地是绿的,命题q:天空是蓝的。

下列表述可以表示p ∧ ¬q 的是:A. 草地是绿的,天空是蓝的B. 草地不是绿的,天空是蓝的C. 草地是绿的,天空不是蓝的D. 草地不是绿的,天空不是蓝的答案:B3. 设命题p表示“这个数是偶数”,q表示“这个数大于10”。

那么“这个数既是偶数又大于10”可以表示为:A. p ∧ qB. p ∨ qC. ¬p ∧ qD. ¬p ∨ q答案:A4. 下列以下列集合的方式描述,其中哪个是空集∅:A. {x | 0 ≤ x ≤ 1}B. {x | x是一个自然数,x > 10}C. {x | x是一个正偶数,x < 2}D. {x | x是一个负整数,x < -1}答案:C5. 设A = {a, b, c},B = {c, d, e},C = {a, c, e}。

则(A ∪ B) ∩ C等于:A. {a, b, c, d, e}B. {a, c, e}C. {c}D. 空集∅答案:B6. 假设U是全集,A、B、C是U的子集。

则(A ∪ B) ∩ C 的补集是:A. A ∩ B ∩ C的补集B. (A ∪ B) ∩ C的补集C. A ∪ (B ∩ C)的补集D. (A ∩ C) ∩ (B ∩ C)的补集答案:D7. 若关系R为集合A到集合B的一种映射,且|A| = 7,|B| = 4,则R包含的有序对数目为:A. 4B. 7C. 11D. 28答案:D8. 设A={1,2,3},B={4,5,6},则从A到B的映射总数为:A. 3B. 9C. 6D. 18答案:C9. 设A={a,b,c,d,e},则集合A的幂集的元素个数是:A. 2B. 5C. 10D. 32答案:D10. 若f:A→B为满射且g:B→C为单射,则(g ∘ f):A→C为:A. 双射B. 满射C. 单射D. 非单射且非满射答案:A2.简答题(每题10分,共20分)1. 请简要解释什么是关系R的自反性、对称性和传递性。

离散数学期末测试卷I及答案

离散数学期末测试卷I及答案
答案:R(x,y) 21.图论的创始人是谁?
答案:瑞士数学家 L.Euler(欧拉) 22.两个图同构是指其中一个图近经过哪些变换可以变为另一个图?
答案:1.挪动点的位置; 2.伸缩边的长短。
23. 什么是孤立点和悬挂点? 答案:孤立点:在任意图 G(V,E)中,度数为 0 的结点。
悬挂点:在任意图 G(V,E)中,度数为 1 的结点。 24.域和环相比增加了哪些要求? 答案:域:设(F,+,•)是环,若(F-{0},•)是阿贝尔群,则称(F,+,•)是域。 25.阿贝尔群具有哪些特点?比普通群增加了什么? 答案:阿贝尔群:设(G,•)是群,若其运算•是可交换的,则称(G,•)为阿贝尔群。 二、填空题 1.鸽笼原理是指什么? 答:n+1 只或更多的鸽子飞进 n 个笼子时,一定有一个笼子里面至少有 2 只鸽子。 2.哪位挪威数学家和法国数学家先后为群的研究做出了杰出的贡献? 答案:挪威数学家 Niels Henrik Abel (尼尔斯· 亨利克·阿贝尔)和法国数学家 Évariste Galois(埃瓦里斯特•伽罗瓦) 为群的研究做出了杰出的贡献。 3.单独一个节点 v 构成的序列 v 到 v 的长度为多少的路?叫做什么? 答案:单独一个节点 v 构成的序列 v 到 v 的长度为 0 的路叫做平凡路 4.命题公式(p→q)→r 的析取范式与合取范式各为什么?
7.设 A, 是一个偏序集,如果 A 中任意两个元素都有上确界和下确界,则称 A, 是一个格。 答:正确。也称(A, )为偏序格。
8.命题公式 P Q 的逆反式是 Q P 。
答:正确。左边= P Q P Q Q P Q P =右边
9.图
是弱连通图。
答:正确。该图为强连通图且属于弱连通图。

离散数学期末考试试题(配答案)

离散数学期末考试试题(配答案)

离散数学期末考试试题(配答案)1. 谓词公式)()(x xQ x xP ∃→∀的前束范式是___________。

2. 设全集{}{}{},5,2,3,2,1,5,4,3,2,1===B A E 则A ∩B =____;=A _____;=B A Y __ _____3. 设{}{}b a B c b a A ,,,,==;则=-)()(B A ρρ__ __________;=-)()(A B ρρ_____ ______。

二.选择题(每小题2分;共10分)1. 与命题公式)(R Q P →→等价的公式是( )(A )R Q P →∨)( (B )R Q P →∧)( (C ))(R Q P ∧→ (D ))(R Q P ∨→ 2. 设集合{}c b a A ,,=;A 上的二元关系{}><><=b b a a R ,,,不具备关系( )性质 (A ) (A)传递性 (B)反对称性 (C)对称性 (D)自反性 三.计算题(共43分)1. 求命题公式r q p ∨∧的主合取范式与主析取范式。

(6分)2. 设集合{}d c b a A ,,,=上的二元关系R 的关系矩阵为⎪⎪⎪⎪⎪⎭⎫⎝⎛=1000000011010001R M ;求)(),(),(R t R s R r 的关系矩阵;并画出R ;)(),(),(R t R s R r 的关系图。

(10分)5. 试判断),(≤z 是否为格?说明理由。

(5分)(注:什么是格?Z 是整数;格:任两个元素;有最小上界和最大下界的偏序)四.证明题(共37分)1. 用推理规则证明D D A C C B B A ⌝⇒∧⌝⌝⌝∧∨⌝→)(,)(,。

(10分)2. 设R 是实数集;b a b a f R R R f +=→⨯),(,:;ab b a g R R R g =→⨯),(,:。

求证:g f 和都是满射;但不是单射。

(10分)一;1; _ ∃x ∃y¬P(x)∨Q(y)2; {2} {4;5} {1;3;4;5}3; {{c};{a ;c};{b ;c};{a ;b ;c}} Φ_ 二;B D三;解:主合取方式:p ∧q ∨r ⇔(p ∨q ∨r)∧(p ∨¬q ∨r)∧(¬p ∨q ∨r)= ∏0.2.4主析取范式:p ∧q ∨r ⇔(p ∧q ∧r) ∨(p ∧q ∧¬r) ∨(¬p ∧q ∧r) ∨(¬p ∧¬q ∧r) ∨(p ∧¬q ∧r)= ∑1.3.5.6.7 四;1;证明:编号 公式 依据 (1) (¬B∨C )∧¬C 前提 (2) ¬B∨C ;¬C (1) (3) ¬B (2) (4) A →B (3) (5) ¬A (3)(4) (6) ¬(¬A∧D ) 前提 (7) A ∨¬D (6) (8)¬D (5)(6)2;证明:要证f 是满射;即∀y ∈R ;都存在(x1;x2)∈R ×R ;使f (x1;x2)=y ;而f (x1;x2)=x1+x2;可取x1=0;x2=y ;即证得;再证g 是满射;即∀y ∈R ;;都存在(x1;x2)∈R ×R ;使g (x1;x2)=y ;而g (x1;x2)=x1x2;可取x1=1;x2=y ;即证得;最后证f 不是单射;f (x1;x2)=f (x2;x1)取x1≠x2;即证得;同理:g (x1;x2)=g (x2;x1);取x1≠x2;即证得。

离散数学期末考试题(附答案和含解析)

离散数学期末考试题(附答案和含解析)

一、填空2.A ,B ,C 表示三个集合,文图中阴影部分的集合表达式为 (B ⊕C)-A4.公式P R S R P ⌝∨∧∨∧)()(的主合取范式为 )()(R S P R S P ∨⌝∨⌝∧∨∨⌝ 。

5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ∀→∃ 在I 下真值为 1 。

6.设A={1,2,3,4},A 上关系图如下,则 R^2= {(1,1),(1,3),(2,2),(2,4)} 。

//备注:⎪⎪⎪⎪⎪⎭⎫⎝⎛=0000100001010010R⎪⎪⎪⎪⎪⎭⎫⎝⎛=00000000101001012R7.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图如下,则R= {(a,b),(a,c), (a,d), (b,d), (c,d)} U {(a,a),(b,b)(c,c)(d,d)} 。

//备注:偏序满足自反性,反对称性,传递性8.图的补图为 。

//补图:给定一个图G ,又G 中所有结点和所有能使G 成为完全图的添加边组成的图,成为补图. 自补图:一个图如果同构于它的补图,则是自补图 9.设A={a ,b ,c ,d} ,A 上二元运算如下:* a b c d a b c da b c d b c d a c d a b d a b c那么代数系统<A ,*>的幺元是 a ,有逆元的元素为 a,b,c,d ,它们的逆元分别为 a,b,c,d 。

//备注:二元运算为x*y=max{x,y},x,y ∈A 。

10.下图所示的偏序集中,是格的为 c 。

//(注:什么是格?即任意两个元素有最小上界 和最大下界的偏序)二、选择题1、下列是真命题的有( C 、D )A . }}{{}{a a ⊆;B .}}{,{}}{{ΦΦ∈Φ;C .}},{{ΦΦ∈Φ; D .}}{{}{Φ∈Φ。

2、下列集合中相等的有( B 、C )A .{4,3}Φ⋃;B .{Φ,3,4};C .{4,Φ,3,3};D . {3,4}。

离散期末考试题及答案

离散期末考试题及答案

离散期末考试题及答案离散数学期末考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,以下哪个符号表示属于关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 有限集合A和B的并集,其元素个数最多是A和B元素个数之和,这个性质称为:A. 德摩根定律B. 幂集C. 并集原理D. 子集原理答案:C3. 命题逻辑中,以下哪个命题是真命题?A. (p ∧ ¬p) ∨ qB. (p ∨ ¬p) ∧ qC. (p ∨ q) ∧ ¬pD. (p ∧ q) ∨ ¬p答案:B4. 在图论中,一个无向图的边数至少是顶点数的多少倍才能保证图中至少存在一个环?A. 1B. 2C. 3D. 4答案:B5. 以下哪个算法用于生成一个集合的所有子集?A. 欧拉回路B. 哈密顿回路C. 深度优先搜索D. 子集生成算法答案:D6. 在关系数据库中,以下哪个操作用于删除表中的行?A. SELECTB. INSERTC. UPDATED. DELETE答案:D7. 以下哪个是有限自动机的状态?A. 初始状态B. 终止状态C. 转移状态D. 所有选项答案:D8. 以下哪个是图论中的一个基本定理?A. 欧拉定理B. 哈密顿定理C. 狄拉克定理D. 所有选项答案:D9. 在命题逻辑中,以下哪个是德摩根定律的逆命题?A. ¬(p ∨ q) ≡ ¬p ∧ ¬qB. ¬(p ∧ q) ≡ ¬p ∨ ¬qC. ¬(p ∨ q) ≡ ¬p ∨ ¬qD. ¬(p ∧ q) ≡ ¬p ∧ ¬q答案:B10. 在集合论中,以下哪个操作表示集合的差集?A. ∩B. ∪C. -D. ×答案:C二、填空题(每空3分,共30分)11. 集合{1, 2, 3}的幂集包含________个元素。

离散数学期末考试题及答案

离散数学期末考试题及答案

离散数学期末考试题及答案一、选择题(每题2分,共20分)1. 以下哪个选项是图的边数与顶点数的关系?A. 边数小于顶点数B. 边数等于顶点数C. 边数大于顶点数D. 边数与顶点数无固定关系答案:D2. 有限自动机的英文缩写是什么?A. FAB. PDAC. TMAD. NFA答案:A3. 布尔代数中,德摩根定律是指什么?A. ¬(A ∧ B) 等于¬ A ∨ ¬ BB. ¬(A ∨ B) 等于¬ A ∧ ¬ BC. A ∧ B 等于¬(A ∨ B)D. A ∨ B 等于¬(¬ A ∧ ¬B)答案:B4. 在命题逻辑中,以下哪个符号表示蕴含?A. ∧B. ∨C. →D. ↔答案:C5. 集合A = {1, 2, 3},B = {2, 3, 4},则A ∪ B等于:A. {1, 2, 3, 4}B. {1, 2, 3}C. {2, 3, 4}D. {1, 3, 4}答案:A6. 以下哪个选项是正确的递归定义?A. 一个数是偶数当且仅当它是2的倍数B. 一个数是偶数当且仅当它不是2的倍数C. 一个数是偶数当且仅当它是另一个偶数加1D. 以上都是正确的递归定义答案:A7. 有向图和无向图的主要区别是什么?A. 有向图的边有方向,无向图的边没有方向B. 有向图的顶点有方向,无向图的顶点没有方向C. 有向图的边可以相交,无向图的边不可以相交D. 有向图可以有环,无向图不可以有环答案:A8. 在命题逻辑中,以下哪个公式是矛盾的?A. A ∧ ¬ AB. A ∨ ¬ AC. A → BD. A ∧ B ∧ ¬ A答案:A9. 以下哪个是图的同义术语?A. 网络B. 矩阵C. 树D. 以上全部答案:A10. 以下哪个命题逻辑公式是有效的?A. (A → B) ∧ (B → A)B. (A ∧ B) → AC. (A ∨ B) → AD. (A ∧ B) → B答案:B二、填空题(每题2分,共20分)11. 在命题逻辑中,_________ 表示一个命题是真的,而 _________ 表示一个命题是假的。

离散数学期末考试题及答案

离散数学期末考试题及答案

离散数学期末考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,以下哪个选项不是集合的基本运算?A. 并集B. 交集C. 差集D. 乘法答案:D2. 命题逻辑中,以下哪个命题不是基本的逻辑连接词?A. 与(∧)B. 或(∨)C. 非(¬)D. 等于(=)答案:D3. 在图论中,一个图的度数之和等于边数的几倍?A. 1B. 2C. 3D. 4答案:B4. 以下哪个是布尔代数的基本定理?A. 德摩根定律B. 布尔代数的分配律C. 布尔代数的结合律D. 所有选项都是答案:D5. 以下哪个不是组合数学中的计数原理?A. 加法原理B. 乘法原理C. 排列D. 组合答案:C6. 在关系数据库中,以下哪个操作不是基本的数据库操作?A. 选择B. 投影C. 连接D. 排序答案:D7. 以下哪个是有限自动机的组成部分?A. 状态B. 转移C. 输入符号D. 所有选项都是答案:D8. 以下哪个命题逻辑表达式是真命题?A. (p ∧ ¬p) ∨ qB. (p ∨ ¬p) ∧ qC. (p → q) ∧ (q → p)D. (p → q) ∧ (¬p → ¬q)答案:D9. 以下哪个是归纳法证明的基本步骤?A. 基础步骤B. 归纳步骤C. 反证法D. 所有选项都是答案:B10. 以下哪个是图的遍历算法?A. 深度优先搜索(DFS)B. 广度优先搜索(BFS)C. Dijkstra算法D. 所有选项都是答案:A二、简答题(每题10分,共30分)1. 简述命题逻辑中的德摩根定律。

答案:德摩根定律是命题逻辑中描述否定命题的两个重要定律。

它们分别是:- ¬(p ∧ q) ≡ ¬p ∨ ¬q- ¬(p ∨ q) ≡ ¬p ∧ ¬q2. 解释什么是图的连通分量,并给出一个例子。

答案:图的连通分量是指图中最大的连通子图。

《离散数学》期末练习题考试卷和答案

《离散数学》期末练习题考试卷和答案

a , b, c , d , e, f , g,那么 所对应的 19. 设集合 A a , b , c , d , e , f , g , A 上有一个划分
等价关系 R 应有( )个序偶。 )。
20. 在有理数集合 Q 上定义二元运算*: a * b a b ab ,则 Q , * 的幺元是(
等价关系 R 应有( )个序偶。 )。
25. 在有理数集合 Q 上定义二元运算*: a * b a b ab ,则 Q , * 的幺元是(
26. 一个(
)称为布尔代数。
27.P Q P Q 的主析取范式是
。(写出一般
5
表示形式即可) 28.设集合 A a , b , c , d , R 是 A 上的二元关系,且 R a , b , b , a , b , c , c , d , a , c , 则 R 的传递闭包 t R 。
C. x x是正整数, x 5


D. x x是有理数, x 5

6.下面有关集合之间的包含和属于关系的说法,正确的是 Ⅰ. Ⅲ.
Ⅱ. , ,
Ⅳ.
a, b a, b, a, b
B.Ⅰ和Ⅲ
a, b a, b, a, b, c
二、填空题 1.设 A 为非空集合,且 A n ,则 A 上不同的二元关系的个数为 为 。 时, P Q 的真值为 1。 , A 上不同的映射的个数
2.设 P 、 Q 为两个命题,当且仅当
3. 在运算表中的空白处填入适当符号,使 a , b , c, * 成为群。 *
a a
a b c
4. 当 n 为 数时, K n n 3 必为欧拉图。
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

X
D.若 R, S 是传递的, 则 R S是传递的。
X
// 备注:设 R={<3,3>,<6,2>},S={<2,3>}则, S R ={<6,3>} , R
5、设 A={1,2,3,4},P(A)(A的 幂集 )上规定二元系如下
S ={<2,3>}
R { s,t | s,t p( A) (| s | | t |} ,则 P(A) / R=( D )
一、填空 2.A,B,C 表示三个集合,文图中阴影部分的集合表达式为
(B⊕ C)-A
A
C
4.公式 (P R) (S R ) P 的主合取范式为 ( P S R) ( P S R) 。
5.若解释 I 的论域 D 仅包含一个元素,则 xP( x )
xP ( x) 在 I 下真值为 1 。
6.设 A={1,2,3,4},A上关系图如下,则 R^2= {(1,1),(1,3),(2,2),(2,4)}。
和最大
二、选择题 1、下列是真命题的有( A. { a} {{ a}} ;
C、D ) B.{{ }}
{ , { }} ;
C.
{{ }, } ;
D. { } {{ }} 。
2、下列集合中相等的有( B、C )
A. {4, 3}
;B.{ ,3,4};C. {4, ,3,3};D. {3,4}。
3、设 A={1,2,3},则 A 上的二元关系有( C )个。
01 00 10 10 MR 00 01
M R2 M R M R
101 0 01 01 00 0 0
M R3 M R2 M R
0 101 1 010 0 000
0000 ,
0 0 0 0,
0 000
M R 4 M R3 M R
10 10
01 01 00 00
M t (R)
0 0 0 0,
M R M R2
8、图 中 从 v1 到 v3 长度为 3 的通路有( D )条。
A. 0;
// 备注:分别是 v1->v1->v1->v3,v1->v4->v1->v3,v1->v3->v1->v3 B.1; C.2; D.3。
9、下图中既不是 Eular(欧拉) 图,也不是 Hamilton(哈密顿) 图的图是( B )
证:
“ ” a, b, c X 若 < a, b > , < a, c > R 由 R对称性知 < b, a > ,< c, a
R ,由 R传递性得 < b, c > R
“ ” 若 < a, b > R , < a, c > R 有 < b, c > R 任意 a ,b X ,因 < a,a > R 若 < a, b > R
// 备注:
R
0100 1010 0001 0000
1 01 0
R2
0 10 1
0 00 0
0 00 0
7.设 A={a,b ,c,d},其上 偏序 关系 R 的哈斯图 如下,则 R= {(a,b),(a,c), (a,d), (b,d), (c,d)} U {(a,a),(b,b)(c,c)(d,d)。}
10、在一棵树中有 7 片树叶, 3 个 3 度结点,其余都是 4 度结点则该树有( A )个 4 度结点。
A.1; B.2; C.3; D.4 。
// 备注:树的顶点数 =边数 +1 7+3×3+4n=2(7+3+n-1) 三、证明题
解得 n=1
1、 R是集合 X 上的一个自反关系,求证: R 是对称和传递的,当且仅当 < a, b>和<a , c>在 R 中有<b , c>在 R 中。
7、下列函数是双射的为( A )
// 双射既是单射又是满射
A.f : I E , f (x) = 2x ;
B.f : N N N, f (n) = <n , n+1> ;
C.f : R I , f (x) = [x] ;//x 的象 D.f :I N, f (x) = | x | 。 (注: I—整数集, E—偶数集, N—自然数集, R—实数集)
A. 23 ;
B. 32 ;
C.
23
3

D. 3 2 2 。
2 // 备注: A 的二元关系个数为:
n2 个。
4、设 R,S 是集合 A 上的关系,则下列说法正确的是( A )
A.若 R,S 是自反的, 则 R S 是自反的;
B.若 R,S 是反自反的, 则 R S 是反自反的; X
C.若 R,S 是对称的, 则 R S 是对称的;
// 备注:偏序满足自反性,反对称性,传递性
8.图
的补图为

//补图: 给定一个图 G,又 G 中所有结点和所有能使 G 成为完全图的添加边组成的图 ,成为补图 . 自补图 :一个图如果同构于它的补图 ,则是自补图
9.设 A={a,b ,c,d} ,A 上二元运算如下:
*
a
b
c
d
aa
b
c
d
bb
c
d
a
A.A ;
B.P(A) ;
C.{{{1}},{{1,2}},{{1,2,3}},{{1,2,3, 4}}};
D.{{ },{2},{2,3},{{2,3,4}},{A}}
6、设 A={ ,{1},{1,3},{1,2,3}}则 A 上包含关系 “ ”的哈斯图 为( C )
//例题:画出下列各关系的哈斯图 1)P={1,2,3,4},<P, ≤的>哈斯图。 2)A={2,3,6,12,24,36},<A, 整除 >的哈斯图。 3)A={1,2,3,5,6,10,15,30},<A, 整除 >的哈斯图
证:
a , b C ,有 f ( a) g (a ), f (b ) g (b ) ,又 f ( b 1 ) f 1 (b) , g( b 1 ) g 1 ( b) f (b 1 ) f 1 (b) g 1(b) g(b 1 )
f ( a ★b 1) f (a) * f 1(b) g(a) * g(b 1 ) g (a ★b 1)
M M R3
R4
111 1 111 1 0001 0000
t (R)={<a , a> , <a , b> , < a , c> , <a , d > , <b , a > , < b ,b > , < b , c . > , < b , d > , < c , d > }
a ★b 1 C
< C ,★> 是 < G1 ,★>的子群。
e k( v 2)
3、G=<V, E> (|V| = v ,|E|=e ) 是每一个面至少由 k( k 3 )条边围成的连通平面图,则
k 2 , 由此证明 彼得
森图 (Peterson)图是非平面图。(11 分)
证:
2e ①设 G有 r 个面,则
r
d (Fi )
i1
rk
r
,即
2e
k 。而 v e r
2故2
ver
ve
2e k 即得
k (v 2) e
k 2。
(8 分)
②彼得森图为 k
5, e
15 ,v
10 ,这样 e
k(v 2) k 2 不成立,
所以彼得森图非平面图为:
四、逻辑推演
1、用 CP规则 证明下题
x ( P ( x ) Q( x))
< b, a > R 所以 R 是对称的
若 < a, b > R , < b, c > R 则 < b, a > R
b, c R
< a, c > R 即 R是传递的
2、f 和 g 都是群 <G1 ,★>到< G2, *>的同态映射。
证明 <C ,★>是<G1,★>的一个子群。其中 C={ x | x G1且f (x) g (x)}
c
c
d
a
b
dd
a
b
c
那么代数系统 <A, *>的幺元 是 a ,有 逆元 的元素为 a,b,c,d ,它们的逆元分别为 a,b,c,d 。
// 备注:二元运算为 x*y=max{x,y},x,y A。 10.下图所示的偏序集中,是格的为 c 。
//(注:什么是格?即任意两个元素有最小上界 下界的偏序)
xP( x)
xQ ( x)
① xP ( x)
P(附加前提)
②P( c)
US①
③ x(P(x) Q( x)) P
P(c) Q (c)

US③
⑤Q ( c)
T②④I
xQ (x)

UG⑤
⑦ xP ( x)
ห้องสมุดไป่ตู้
xQ ( x) CP
五、计算题 1、设集合 A={a,b, c,d}上的关系 R={<a , b > ,< b , a > ,< b, c > , < c , d用>矩} 阵运算 求出 R 的传递闭包 t (R)。 解:
相关文档
最新文档