离散数学试题与答案94119
《离散数学》试题及答案
《离散数学》试题及答案一、选择题（每题5分，共25分）1. 下列关系中，哪个是等价关系？（）A. 小于等于（≤）B. 大于等于（≥）C. 整除（|）D. 模2同余（≡）答案：D2. 下列哪个图是完全图？（）A. 无向图B. 有向图C. 简单图D. n阶完全图答案：D3. 设A和B为集合，若A∪B=A，则下列哪个结论成立？（）A. A⊆BB. B⊆AC. A=BD. A∩B=∅答案：B4. 下列哪个命题是永真命题？（）A. (p→q)∧(q→p)B. (p∧q)→(p∨q)C. (p→q)∧(p→¬q)D. (p∧¬q)→(p→q)答案：B5. 设G=(V,E)是一个连通图，其中V={v1,v2,v3,v4,v5}，E={e1,e2,e3,e4,e5,e6}，若G的最小生成树的边数是（）。
A. 4B. 5C. 6D. 7答案：B二、填空题（每题5分，共25分）6. 设A={1,2,3,4,5}，B={3,4,5,6,7}，则A∩B=_________。
答案：{3,4,5}7. 设图G的顶点集V={a,b,c,d}，边集E={e1,e2,e3,e4,e5}，其中e1=(a,b)，e2=(a,c)，e3=(b,d)，e4=(c,d)，e5=(d,a)，则G的邻接矩阵为_________。
答案：[0 1 1 0 0; 1 0 0 1 0; 1 0 0 1 0; 0 1 1 0 1;0 0 0 1 0]8. 设p为真命题，q为假命题，则(p∧q)∨(¬p∧¬q)的值为_________。
答案：真9. 设G=(V,E)是一个连通图，其中V={v1,v2,v3,v4,v5}，E={e1,e2,e3,e4,e5,e6}，若G的度数序列为（3,3,3,3,3,3），则G的边数是_________。
答案：1510. 下列命题中，与“若p，则q”互为逆否命题的是_________。
离散数学试题及答案
离散数学试题及答案一、选择题1. 在集合论中，下列哪个选项表示两个集合A和B的并集？A. A ∩ BB. A ∪ BC. A - BD. A × B答案：B2. 命题逻辑中，下列哪个符号表示逻辑非？A. ∧B. ∨C. ¬D. →答案：C3. 在有向图中，如果存在一条从顶点u到顶点v的路径，那么称顶点v为顶点u的：A. 祖先B. 后代C. 邻居D. 连接点答案：B二、填空题1. 一个命题函数P(x)表示为“x是偶数”，那么其否定形式为________。
答案：x是奇数2. 在关系R上，如果对于所有的a和b，如果(a, b)∈R且(b, a)∈R，则称R为________。
答案：自反的三、简答题1. 简述什么是等价关系，并给出其三个基本性质。
答案：等价关系是一种特殊的二元关系，它满足自反性、对称性和传递性。
自反性指每个元素都与自身相关；对称性指如果a与b相关，则b也与a相关；传递性指如果a与b相关，b与c相关，则a与c也相关。
2. 解释什么是图的连通分量，并给出如何判断一个图是否是连通图。
答案：连通分量是指图中最大的连通子图，即图中任意两个顶点之间都存在路径。
判断一个图是否是连通图，可以通过深度优先搜索或广度优先搜索算法遍历整个图，如果所有顶点都被访问，则图是连通的。
四、计算题1. 给定命题公式P：((p → q) ∧ (r → ¬p)) → (q ∨ ¬r)，证明P是一个重言式。
答案：通过使用命题逻辑的等价规则和真值表，可以证明P在所有可能的p, q, r的真值组合下都为真，因此P是一个重言式。
2. 给定一个有向图G，顶点集合V(G)={1, 2, 3, 4}，边集合E(G)={(1, 2), (2, 3), (3, 4), (4, 1), (2, 4)}。
找出所有强连通分量。
答案：通过Kosaraju算法或Tarjan算法，可以找到图G的强连通分量，结果为{1, 4}和{2, 3}。
(完整版)离散数学题目及答案
数理逻辑习题判断题1．任何命题公式存在惟一的特异析取范式 （ √ ） 2． 公式)(q p p →⌝→是永真式 （ √ ） 3．命题公式p q p →∧)(是永真式 （ √ ） 4．命题公式r q p ∧⌝∧的成真赋值为010 （ × ） 5．))(()(B x A x B x xA →∃=→∀ （ √ ）6．命题“如果1＋2＝3，则雪是黑的”是真命题 （ × ） 7．p q p p =∧∨)( （ √ ）8．))()((x G x F x →∀是永真式 （ × ） 9．“我正在撒谎”是命题 （ × ） 10． )()(x xG x xF ∃→∀是永真式（ √ ）11．命题“如果1＋2＝0，则雪是黑的”是假命题 （ × ） 12．p q p p =∨∧)( （ √ ）13．))()((x G x F x →∀是永假式 （ × ）14．每个命题公式都有唯一的特异（主）合取范式 （ √ ） 15．若雪是黑色的:p ，则q →p 公式是永真式 （ √ ） 16．每个逻辑公式都有唯一的前束范式 （ × ） 17．q →p 公式的特异（主）析取式为q p ∨⌝ （ × ） 18．命题公式 )(r q p →∨⌝的成假赋值是110 （ √ ） 19．一阶逻辑公式)),()((y x G x F x →∀是闭式（ × ）单项选择题1． 下述不是命题的是（ A ）A．花儿真美啊! B．明天是阴天。
C．2是偶数。
D．铅球是方的。
2．谓词公式（∀y）（∀x）（P（x）→R（x,y））∧∃yQ（x,y）中变元y （B）A．是自由变元但不是约束变元B．是约束变元但不是自由变元C．既是自由变元又是约束变元D．既不是自由变元又不是约束变元3．下列命题公式为重言式的是（ A ）A．p→ （p∨q）B．（p∨┐p）→qC．q∧┐q D．p→┐q4．下列语句中不是．．命题的只有（A ）A．花儿为什么这样红？B．2+2=0C．飞碟来自地球外的星球。
离散数学试题及答案
离散数学试题及答案一、单项选择题（每题2分，共20分）1. 在集合论中，空集的表示符号是（）。
A. {0}B. ∅C. {}D. Ø答案：B2. 如果A和B是两个集合，那么A∩B表示（）。
A. A和B的并集B. A和B的交集C. A和B的差集D. A和B的补集答案：B3. 命题逻辑中，p ∧ q的真值表中，当p和q都为假时，p ∧ q的值为（）。
A. 真B. 假C. 不确定D. 无定义答案：B4. 在图论中，如果一个图中的任意两个顶点都由一条边相连，则称这个图为（）。
A. 连通图B. 无向图C. 完全图D. 有向图答案：C5. 布尔代数中，逻辑或运算符表示为（）。
A. ∧B. ∨C. ¬D. →答案：B6. 一个关系R是从集合A到集合B的二元关系，如果对于A中的每个元素x，B中都存在唯一的元素y与之对应，则称R为（）。
A. 单射B. 满射C. 双射D. 单满射答案：C7. 在命题逻辑中，如果p是假命题，那么¬p的值为（）。
A. 真B. 假C. 不确定D. 无定义答案：A8. 一个有向图是无环的，那么它一定是（）。
A. 有向无环图B. 无向无环图C. 有向有环图D. 无向有环图答案：A9. 在集合论中，如果集合A是集合B的子集，那么A⊆B表示（）。
A. A包含于BB. A是B的真子集C. A是B的超集D. A与B相等答案：A10. 命题逻辑中，p → q的真值表中，当p为真，q为假时，p → q 的值为（）。
A. 真B. 假C. 不确定D. 无定义答案：B二、多项选择题（每题3分，共15分）1. 在集合论中，以下哪些符号表示的是集合的并集（）。
A. ∪B. ∩C. ⊆D. ⊂答案：A2. 在图论中，以下哪些说法是正确的（）。
A. 有向图可以是无环的B. 无向图可以是无环的C. 有向图一定是连通的D. 无向图一定是连通的答案：A B3. 在命题逻辑中，以下哪些符号表示的是逻辑与（）。
《离散数学》练习题和参考答案
《离散数学》练习题和参考答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？( )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P 答：（1），（4）2、下列公式中哪些是永真式？( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q) 答：（2），（3），（4）3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P 答：（2），（3），（4），（5），（6）4、公式∀x((A(x)→B(y，x))∧∃z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。
答：x,y, x,z5、判断下列语句是不是命题。
若是，给出命题的真值。
( )北京是中华人民共和国的首都。
(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。
(5) 前进！ (6) 给我一杯水吧！答：（1）是，T （2）是，F （3）不是（4）是，T （5）不是（6）不是6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。
答：所有人都不是大学生，有些人不会死7、设P：我生病，Q：我去学校，则下列命题可符号化为( )。
(1) 只有在生病时，我才不去学校 (2) 若我生病，则我不去学校(3) 当且仅当我生病时，我才不去学校(4) 若我不生病，则我一定去学校答：（1）PQ→⌝（2）QP⌝→（3）QP⌝↔（4）QP→⌝8、设个体域为整数集，则下列公式的意义是( )。
(1) ∀x∃y(x+y=0) (2) ∃y∀x(x+y=0)答：（1）对任一整数x存在整数 y满足x+y=0（2）存在整数y对任一整数x满足x+y=09、设全体域D是正整数集合，确定下列命题的真值：(1) ∀x∃y (xy=y) ( ) (2) ∃x∀y(x+y=y) ( )(3) ∃x∀y(x+y=x) ( ) (4) ∀x∃y(y=2x) ( )答：（1） F （2） F （3）F （4）T10、设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式∃x(P(x)∨Q(x))在哪个个体域中为真?( )(1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答：（1）11、命题“2是偶数或-3是负数”的否定是（）。
离散数学考试题及详细参考答案
离散数学考试题(后附详细答案)一、命题符号化（共6小题，每小题3分，共计18分）1.用命题逻辑把下列命题符号化a)假如上午不下雨，我去看电影，否则就在家里读书或看报。
b)我今天进城，除非下雨。
c)仅当你走，我将留下。
2.用谓词逻辑把下列命题符号化a)有些实数不是有理数b)对于所有非零实数x，总存在y使得xy=1。
c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B，使得f(a)=b.二、简答题（共6道题，共32分）1.求命题公式(P→(Q→R)) (R→(Q→P))的主析取范式、主合取范式，并写出所有成真赋值。
（5分）2.设个体域为{1,2,3}，求下列命题的真值（4分）a)x y(x+y=4)b)y x (x+y=4)3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。
（4分）4.判断下面命题的真假，并说明原因。
（每小题2分，共4分）a)（A B）－C=(A-B) (A-C)b)若f是从集合A到集合B的入射函数，则|A|≤|B|5.设A是有穷集，|A|=5，问（每小题2分，共4分）a)A上有多少种不同的等价关系？b)从A到A的不同双射函数有多少个？6.设有偏序集<A,≤>，其哈斯图如图1，求子集B={b,d,e}的最小元，最大元、极大元、极小元、上界集合、下界集合、上确界、下确界，(5分)f g图17.已知有限集S={a1,a2,…,a n},N为自然数集合，R为实数集合，求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N（写出即可）(6分)三、证明题（共3小题，共计40分）1.使用构造性证明，证明下面推理的有效性。
（每小题5分，共10分）a)A→(B∧C),(E→ F)→ C, B→(A∧ S) B→Eb)x(P(x)→ Q(x)), x(Q(x)∨R(x))，x R(x) x P(x)2.设R1是A上的等价关系，R2是B上的等价关系，A≠ 且B≠ ，关系R满足：<<x1,y1>,<x2,y2>>∈R，当且仅当< x1, x2>∈R1且<y1,y2>∈R2。
离散数学试题及答案
离散数学试题及答案一、单项选择题（每题2分，共20分）1. 集合A={1,2,3}，集合B={2,3,4}，则A∩B等于：A. {1}B. {2,3}C. {1,2,3}D. {2,3,4}答案：B2. 命题“若x>0，则x^2>0”的逆否命题是：A. 若x≤0，则x^2≤0B. 若x^2≤0，则x≤0C. 若x^2>0，则x>0D. 若x^2≤0，则x≤0答案：B3. 函数f: X→Y是单射的，当且仅当：A. 对于任意x1≠x2，有f(x1)=f(x2)B. 对于任意x1≠x2，有f(x1)≠f(x2)C. 对于任意y∈Y，存在唯一的x∈X，使得f(x)=yD. 对于任意y∈Y，存在x∈X，使得f(x)=y答案：B4. 有限集合A的子集个数为2^n，其中n是集合A的元素个数，则n 等于：A. 0B. 1C. 2D. 3答案：C5. 逻辑运算符“与”用符号表示为：A. ∧B. ∨C. →D. ¬答案：A6. 命题逻辑中，命题p和q的析取（逻辑或）的真值表中，当p为真，q为假时，p∨q的值为：A. 真B. 假C. 可能真，可能假D. 不确定答案：A7. 以下哪个选项表示的是等价关系：A. 自反性B. 对称性C. 传递性D. 自反性、对称性和传递性答案：D8. 在图论中，如果一个图的任意两个顶点都由一条边连接，则称该图为：A. 连通图B. 完全图C. 无向图D. 有向图答案：B9. 以下哪个选项是图的顶点的度的定义：A. 与该顶点相连的边的数量B. 与该顶点相连的顶点的数量C. 该顶点发出的边的数量D. 该顶点接收的边的数量答案：A10. 在布尔代数中，逻辑运算符“异或”用符号表示为：A. ⊕B. ∧C. ∨D. ¬答案：A二、填空题（每题2分，共20分）1. 集合{1,2,3}的补集在全集U={1,2,3,4,5}中表示为________。
答案：{4,5}2. 命题“若x>0，则x^2>0”的逆命题是“若________，则x>0”。
离散数学考试题及答案
离散数学考试题及答案一、选择题1. 关于图论的基本概念，以下哪个说法是正确的？A. 无向图中的边无方向性，有向图中的边有方向性。
B. 有向图中的边无方向性，无向图中的边有方向性。
C. 无向图和有向图都是由顶点和边组成的。
D. 无向图和有向图都只由边组成。
答案：A2. “若顶点集合为V，边集合为E，那么图G可以表示为G(V, E)”是关于图的哪个基本概念的描述？A. 图的顶点B. 图的边C. 图的邻接D. 图的表示方法答案：D3. 以下哪个命题是正确的？A. 若集合A和B互相包含，则A和B相等。
B. 若集合A和B相交为空集，则A和B相等。
C. 若集合A和B相等，则A和B互相包含。
D. 若集合A和B相等，则A和B相交为空集。
答案：C二、填空题1. 有一个集合A = {1, 2, 3, 4}，则集合A的幂集的元素个数为__________。
答案：162. 设A = {a, b, c}，B = {c, d, e}，则集合A和B的笛卡尔积为__________。
答案：{(a, c), (a, d), (a, e), (b, c), (b, d), (b, e), (c, c), (c, d), (c, e)}3. 若p为真命题，q、r为假命题，则合取范式(p ∨ q ∨ r)的值为__________。
答案：真三、计算题1. 计算集合A = {1, 2, 3, 4}和集合B = {3, 4, 5, 6}的交集、并集和差集。
答案：交集：{3, 4}并集：{1, 2, 3, 4, 5, 6}差集：{1, 2}2. 计算下列命题的真值：(~p ∨ q) ∧ (p ∨ ~q)，其中p为真命题，q为假命题。
答案：真四、证明题证明：对于任意集合A和B，如果A和B互相包含，则A和B相等。
证明过程：假设A和B互相包含，即A包含于B且B包含于A。
设x为集合A中的任意元素，则x也必然存在于集合B中，即x属于B。
同理，对于集合B中的任意元素y，y也属于集合A。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
离散数学试题及答案一、填空题1设集合A,B，其中A＝{1,2,3}, B= {1,2}, 则A - B＝____________________; ρ(A) - ρ(B)＝__________________________ .2. 设有限集合A, |A| = n, 则|ρ(A×A)| = __________________________.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是_______________________________________, 其中双射的是__________________________.4. 已知命题公式G＝⌝(P→Q)∧R，则G的主析取式是_________________________________________________________________________________________.5.设G是完全二叉树，G有7个点，其中4个叶点，则G的总度数为__________，分枝点数为________________.6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A⋂B＝_________________________; A⋃B ＝_________________________;A－B＝_____________________ .7. 设R是集合A上的等价关系，则R所具有的关系的三个特性是______________________, ________________________, _______________________________.8. 设命题公式G＝⌝(P→(Q∧R))，则使公式G为真的解释有__________________________，_____________________________, __________________________.9. 设集合A＝{1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R1 = {(2,1),(3,2),(4,3)}, 则R1•R2 = ________________________,R2•R1 =____________________________, R12 =________________________.10. 设有限集A, B，|A| = m, |B| = n, 则| |ρ(A⨯B)| = _____________________________. 11设A,B,R是三个集合，其中R是实数集，A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = __________________________ , B-A = __________________________ ,A∩B = __________________________ , .13.设集合A＝{2, 3, 4, 5, 6}，R是A上的整除，则R以集合形式(列举法)记为___________ _______________________________________________________.14. 设一阶逻辑公式G = ∀xP(x)→∃xQ(x)，则G的前束式是__________________________ _____.15.设G是具有8个顶点的树，则G中增加_________条边才能把G变成完全图。
16. 设谓词的定义域为{a, b},将表达式∀xR(x)→∃xS(x)中量词消除，写成与之对应的命题公式是__________________________________________________________________________.17. 设集合A＝{1, 2, 3, 4}，A上的二元关系R＝{(1,1),(1,2),(2,3)}, S＝{(1,3),(2,3),(3,2)}。
则R⋅S＝_____________________________________________________,R2＝______________________________________________________.二、选择题1设集合A={2,{a},3,4}，B = {{a},3,4,1}，E为全集，则下列命题正确的是( )。
(A){2}∈A (B){a}⊆A (C)∅⊆{{a}}⊆B⊆E (D){{a},1,3,4}⊂B.2设集合A={1,2,3},A上的关系R＝{(1,1),(2,2),(2,3),(3,2),(3,3)}，则R不具备( ).(A)自反性(B)传递性(C)对称性(D)反对称性3 设半序集(A,≤)关系≤的哈斯图如下所示，若A的子集则元素6为B的( )。
(A)下界(B)上界(C)最小上界(D)以上答案都不对4下列语句中，( )是命题。
(A)请把门关上(B)地球外的星球上也有人(C)x + 5 > 6 (D)下午有会吗？5设I是如下一个解释：D＝{a,b},11b)P(b,a)P(b,b)P(a,),(aaP则在解释I下取真值为1的公式是( ).(A)∃x∀yP(x,y) (B)∀x∀yP(x,y) (C)∀xP(x,x) (D)∀x∃yP(x,y).6. 若供选择答案中的数值表示一个简单图中各个顶点的度，能画出图的是( ).(A)(1,2,2,3,4,5) (B)(1,2,3,4,5,5) (C)(1,1,1,2,3) (D)(2,3,3,4,5,6).7. 设G、H是一阶逻辑公式，P是一个谓词，G＝∃xP(x), H＝∀xP(x),则一阶逻辑公式G→H是( ).(A)恒真的(B)恒假的(C)可满足的(D)前束式.8设命题公式G＝⌝(P→Q)，H＝P→(Q→⌝P)，则G与H的关系是( )。
(A)G⇒H (B)H⇒G (C)G＝H (D)以上都不是.9设A, B为集合，当( )时A－B＝B.(A)A＝B (B)A⊆B (C)B⊆A (D)A＝B＝∅.10 设集合A = {1,2,3,4}, A上的关系R＝{(1,1),(2,3),(2,4),(3,4)}, 则R具有( )。
(A)自反性(B)传递性(C)对称性(D)以上答案都不对11下列关于集合的表示中正确的为( )。
(A){a}∈{a,b,c} (B){a}⊆{a,b,c} (C)∅∈{a,b,c} (D){a,b}∈{a,b,c}12命题∀xG(x)取真值1的充分必要条件是( ).(A)对任意x，G(x)都取真值1. (B)有一个x0，使G(x0)取真值1.(C)有某些x，使G(x0)取真值1. (D)以上答案都不对.13. 设G是连通平面图，有5个顶点，6个面，则G的边数是( ).(A) 9条(B) 5条(C) 6条(D) 11条.14. 设G是5个顶点的完全图，则从G中删去( )条边可以得到树.(A)6 (B)5 (C)10 (D)4.15. 设图G的相邻矩阵为⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡0110110101110110010111110，则G 的顶点数与边数分别为( ).(A)4, 5 (B)5, 6 (C)4, 10 (D)5, 8.三、计算证明题1.设集合A ＝{1, 2, 3, 4, 6, 8, 9, 12}，R 为整除关系。
(1) 画出半序集(A,R)的哈斯图；(2) 写出A 的子集B = {3,6,9,12}的上界，下界，最小上界，最大下界； (3) 写出A 的最大元，最小元，极大元，极小元。
2. 设集合A ＝{1, 2, 3, 4}，A 上的关系R ＝{(x,y) | x, y ∈A 且 x ≥ y}, 求(1) 画出R 的关系图； (2) 写出R 的关系矩阵.3. 设R 是实数集合，σ,τ,ϕ是R 上的三个映射，σ(x) = x+3, τ(x) = 2x, ϕ(x) ＝ x/4,试求复合映射σ•τ，σ•σ, σ•ϕ, ϕ•τ，σ•ϕ•τ. 4. 设I 是如下一个解释：D = {2, 3},a b f (2) f (3) P (2,2)P (2,3) P (3,2) P (3,3) 3 2 3 2 011试求 (1) P (a , f (a ))∧P (b , f (b ));(2) ∀x ∃y P (y , x ).5. 设集合A ＝{1, 2, 4, 6, 8, 12}，R 为A 上整除关系。
(1) 画出半序集(A,R)的哈斯图；(2)写出A的最大元，最小元，极大元，极小元；(3)写出A的子集B = {4, 6, 8, 12}的上界，下界，最小上界，最大下界.6. 设命题公式G = ⌝(P→Q)∨(Q∧(⌝P→R)), 求G的主析取式。
7. (9分)设一阶逻辑公式：G = (∀xP(x)∨∃yQ(y))→∀xR(x)，把G化成前束式.9. 设R是集合A = {a, b, c, d}. R是A上的二元关系, R = {(a,b), (b,a), (b,c), (c,d)},(1)求出r(R), s(R), t(R)；(2)画出r(R), s(R), t(R)的关系图.11. 通过求主析取式判断下列命题公式是否等价：(1) G = (P∧Q)∨(⌝P∧Q∧R)(2) H = (P∨(Q∧R))∧(Q∨(⌝P∧R))13. 设R和S是集合A＝{a, b, c, d}上的关系，其中R＝{(a, a),(a, c),(b, c),(c, d)},S＝{(a, b),(b, c),(b, d),(d, d)}.(1) 试写出R和S的关系矩阵；(2) 计算R•S, R∪S, R－1, S－1•R－1.四、证明题1. 利用形式演绎法证明：{P→Q, R→S, P∨R}蕴涵Q∨S。
2. 设A,B为任意集合，证明：(A-B)-C = A-(B∪C).3. (本题10分)利用形式演绎法证明：{⌝A∨B, ⌝C→⌝B, C→D}蕴涵A→D。
4. (本题10分)A, B为两个任意集合，求证：A－(A∩B) = (A∪B)－B .参考答案一、填空题1. {3}; {{3},{1,3},{2,3},{1,2,3}}.2.22n.3.α1= {(a,1), (b,1)}, α2= {(a,2), (b,2)},α3= {(a,1), (b,2)}, α4= {(a,2), (b,1)}; α3, α4.4.(P∧⌝Q∧R).5.12, 3.6.{4}, {1, 2, 3, 4}, {1, 2}.7.自反性；对称性；传递性.8.(1, 0, 0), (1, 0, 1), (1, 1, 0).9.{(1,3),(2,2),(3,1)}; {(2,4),(3,3),(4,2)}; {(2,2),(3,3)}.10.2m⨯n.11.{x | -1≤x < 0, x∈R}; {x | 1 < x < 2, x∈R}; {x | 0≤x≤1, x∈R}.12.12; 6.13.{(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)}.14.∃x(⌝P(x)∨Q(x)).15.21.16.(R(a)∧R(b))→(S(a)∨S(b)).17.{(1, 3),(2, 2)}; {(1, 1),(1, 2),(1, 3)}.二、选择题1. C.2. D.3. B.4. B.5. D.6. C.7. C.8. A. 9. D. 10. B. 11. B.13. A. 14. A. 15. D三、计算证明题1.(1)(2) B无上界，也无最小上界。