离散数学试题与答案

合集下载

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

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

离散数学期末考试题及详细答案一、选择题(每题5分,共20分)1. 在离散数学中,下列哪个概念用来描述元素与集合之间的关系?A. 并集B. 交集C. 子集D. 元素答案:D2. 布尔代数中,下列哪个运算符表示逻辑“与”?A. ∨B. ∧C. ¬D. →答案:B3. 下列哪个命题的否定是正确的?A. 如果今天是周一,则明天是周二。

B. 如果今天是周一,则明天不是周二。

答案:B4. 在图论中,一个图的顶点数为n,边数为m,下列哪个条件可以保证该图是连通的?A. m > nB. m ≥ nC. m = nD. m > n-1答案:D二、填空题(每题5分,共20分)1. 在集合论中,一个集合的幂集包含该集合的所有______。

答案:子集2. 如果一个函数f: A → B是单射的,那么对于任意的a1, a2 ∈ A,如果a1 ≠ a2,则f(a1) ≠ f(a2)。

这种性质称为函数的______。

答案:单射性3. 在图论中,一个图的直径是指图中任意两个顶点之间的最短路径的最大值。

如果一个图的直径为1,则该图被称为______。

答案:完全图4. 一个布尔表达式可以表示为一系列逻辑运算符和变量的组合。

布尔表达式(A ∧ B) ∨ (¬ A ∧ C)的真值表中,当A为真,B为假,C为真时,整个表达式的值为______。

答案:真三、简答题(每题10分,共30分)1. 请简述什么是图的哈密顿回路,并给出一个例子。

答案:哈密顿回路是图中的一个回路,它恰好访问每个顶点一次。

例如,在一个完全图中,任意一个顶点出发,依次访问其他顶点,最后回到出发点的路径就是一个哈密顿回路。

2. 请解释什么是二元关系,并给出一个二元关系的例子。

答案:二元关系是定义在两个集合上的一个关系,它关联了第一个集合中的元素和第二个集合中的元素。

例如,小于关系是实数集合上的一个二元关系,它关联了每一对实数,如果第一个数小于第二个数。

《离散数学》试题及答案

《离散数学》试题及答案

《离散数学》试题及答案一、选择题(每题5分,共25分)1. 设集合A={1,2,3,4,5},B={2,4,6,8,10},则A∩B的结果是()A. {1,2,3,4,5}B. {2,4}C. {1,3,5}D. {1,2,3,4,5,6,8,10}答案:B2. 下列关系中,哪个是等价关系?()A. ≤B. ≠C. |D. ≠答案:A3. 设图G有5个顶点,每两个顶点之间都有一条边相连,则图G的边数是()A. 5B. 10C. 15D. 20答案:C4. 下列哪一个图是欧拉图?()A. 无向图B. 有向图C. 树D. 环答案:D5. 下列哪一个命题是正确的?()A. 若p→q为真,则p为真B. 若p∧q为假,则p为假C. 若p∨q为真,则q为真D. 若p→q为假,则p为假答案:B二、填空题(每题5分,共25分)1. 设集合A={a,b,c,d},B={c,d,e},则A-B=________。

答案:{a,b}2. 设p是命题“今天是晴天”,q是命题“我去公园玩”,则命题“如果今天不是晴天,那么我不去公园玩”可以表示为________。

答案:¬p→¬q3. 设图G有n个顶点,e条边,则图G的度数之和为________。

答案:2e4. 一个连通图至少有________个顶点。

答案:25. 设图G的邻接矩阵为A,则A的转置矩阵表示________。

答案:图G的转置图三、判断题(每题5分,共25分)1. 离散数学是研究离散结构的数学分支。

()答案:正确2. 两个集合的笛卡尔积是这两个集合的直积。

()答案:正确3. 有向图中,顶点u和顶点v之间的长度为2的路径是指路径上有3条边。

()答案:错误4. 树是一种无向图。

()答案:正确5. 哈夫曼编码是一种贪心算法。

()答案:正确四、应用题(每题25分,共50分)1. 设集合A={1,2,3,4,5},B={2,4,6,8,10},C={3,6,9,12,15},求A∪(B∩C)。

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、选择题1. 设A、B、C为三个集合,下列哪个式子是成立的?A) \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)B) \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)C) \(A \cup (B \cup C) = (A \cup B) \cup (A \cup C)\)答案:B2. 对于一个有n个元素的集合S,S的幂集中包含多少个元素?A) \(n\)B) \(2^n\)C) \(2 \times n\)答案:B二、判断题1. 对于两个关系R和S,若S是自反的,则R ∩ S也是自反的。

答案:错误2. 若一个关系R是反对称的,则R一定是反自反的。

答案:正确三、填空题1. 有一个集合A,其中包含元素1、2、3、4和5,求集合A的幂集的大小。

答案:322. 设a和b是实数,若a \(\neq\) b,则a和b之间的关系是\(\__\_\)关系。

答案:不等四、解答题1. 证明:如果关系R是自反且传递的,则R一定是反自反的。

解答:假设关系R是自反的且传递的,即对于集合A中的任意元素x,都有(x, x) ∈ R,并且当(x, y) ∈ R和(y, z) ∈ R时,(x, z) ∈ R。

反证法:假设R不是反自反的,即存在一个元素a∈A,使得(a, a) ∉ R。

由于R是自反的,所以(a, a) ∈ R,与假设矛盾。

因此,R一定是反自反的。

答案完整证明了该结论。

2. 已知集合A={1, 2, 3},集合B={2, 3, 4},求集合A和B的笛卡尔积。

解答:集合A和B的笛卡尔积定义为{(a, b) | a∈A,b∈B}。

所以,集合A和B的笛卡尔积为{(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。

(完整版)离散数学试题及答案,推荐文档

(完整版)离散数学试题及答案,推荐文档

11 设 A,B,R 是三个集合,其中 R 是实数集,A = {x | -1≤x≤1, xR}, B = {x | 0≤x < 2, xR},则
A-B = __________________________ , B-A = __________________________ ,
A∩B = __________________________ , . 13. 设集合 A={2, 3, 4, 5, 6},R 是 A 上的整除,则 R 以集合形式(列举法)记为___________ _______________________________________________________. 14. 设一阶逻辑公式 G = xP(x)xQ(x),则 G 的前束范式是__________________________
二、选择题
1. C. 2. D. 3. B. 4. B.
5. D. 6. C. 7. C.
8. A. 9. D. 10. B. 11. B.
第 5 页 共 18 页
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)}.
8. 设命题公式 G=(P(QR)),则使公式 G 为真的解释有
__________________________,_____________________________,
__________________________.

离散数学考试题及答案

离散数学考试题及答案

离散数学考试题及答案一、选择题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。

离散考试试题及答案

离散考试试题及答案

离散考试试题及答案一、选择题(每题5分,共20分)1. 在离散数学中,下列哪个概念不是布尔代数的基本运算?A. 与B. 或C. 非D. 模答案:D2. 集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ⊂答案:A3. 命题逻辑中,下列哪个符号表示“蕴含”关系?A. ∧B. ∨C. →D. ↔答案:C4. 关系R在集合A上是自反的,意味着什么?A. 对于所有a∈A,(a, a)∈RB. 对于所有a∈A,(a, a)∉RC. 对于所有a∈A,(a, b)∈RD. 对于所有a∈A,(a, b)∉R答案:A二、填空题(每题5分,共20分)1. 一个集合的基数是集合中元素的________。

答案:数量2. 在有向图中,如果存在一条从顶点u到顶点v的路径,则称顶点v 是顶点u的________。

答案:可达的3. 一个图是连通的,当且仅当图中任意两个顶点都是________。

答案:连通的4. 在命题逻辑中,一个命题的否定是________。

答案:它的对立命题三、简答题(每题10分,共30分)1. 请解释什么是图的哈密顿回路。

答案:哈密顿回路是一个图中的闭合回路,它恰好访问图中的每个顶点一次。

2. 描述一下什么是二元关系,并给出一个例子。

答案:二元关系是定义在两个集合上的一个关系,它关联了第一个集合中的元素和第二个集合中的元素。

例如,小于关系是数字集合上的一个二元关系。

3. 什么是图的生成树?答案:图的生成树是图的一个子图,它包含图中的所有顶点,并且是一棵树,即它是连通的且没有环。

四、计算题(每题15分,共30分)1. 给定一个集合A={1,2,3,4,5},计算它的幂集。

答案:幂集P(A)={∅, {1}, {2}, {3}, {4}, {5}, {1,2}, {1,3}, {1,4}, {1,5}, {2,3}, {2,4}, {2,5}, {3,4}, {3,5}, {4,5},{1,2,3}, {1,2,4}, {1,2,5}, {1,3,4}, {1,3,5}, {1,4,5}, {2,3,4}, {2,3,5}, {2,4,5}, {3,4,5}, {1,2,3,4}, {1,2,3,5}, {1,2,4,5}, {1,3,4,5}, {2,3,4,5}, {1,2,3,4,5}, A}。

离散数学考试题及答案

离散数学考试题及答案

离散数学考试题及答案一、选择题(每题5分,共20分)1. 下列哪个选项不是离散数学的研究对象?A. 图论B. 组合数学C. 微积分D. 逻辑学答案:C2. 在逻辑学中,下列哪个命题是真命题?A. 如果今天是周一,那么明天是周二。

B. 如果今天是周一,那么明天是周三。

C. 如果今天是周一,那么明天是周四。

D. 如果今天是周一,那么明天是周五。

答案:A3. 在集合论中,下列哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 在图论中,下列哪个术语描述的是图中的顶点集合?A. 边B. 路径C. 子图D. 顶点答案:D二、填空题(每题5分,共20分)1. 如果一个集合A包含5个元素,那么它的子集个数是______。

答案:322. 在逻辑学中,如果命题P和命题Q都是真命题,那么复合命题“P且Q”的真值是______。

答案:真3. 在图论中,如果一个图的顶点数为n,那么它的最大边数是______。

答案:n(n-1)/24. 如果一个二叉树的深度为3,那么它最多包含______个节点。

答案:7三、简答题(每题10分,共30分)1. 请简述什么是图的连通性,并给出一个例子。

答案:图的连通性是指在图中任意两个顶点之间都存在一条路径。

例如,在一个完全图K3中,任意两个顶点之间都可以通过一条边直接连接,因此它是连通的。

2. 解释什么是逻辑蕴含,并给出一个例子。

答案:逻辑蕴含是指如果一个命题P为真,则另一个命题Q也必须为真。

例如,命题P:“如果今天是周一”,命题Q:“明天是周二”。

如果今天是周一,那么根据逻辑蕴含,明天必须是周二。

3. 请描述什么是二叉搜索树,并给出它的一个性质。

答案:二叉搜索树是一种特殊的二叉树,其中每个节点的左子树只包含小于当前节点的数,右子树只包含大于当前节点的数。

它的一个性质是中序遍历可以得到一个有序序列。

四、计算题(每题15分,共30分)1. 给定一个集合A={1, 2, 3, 4, 5},请计算它的幂集,并列出所有元素。

自考离散数学试题及答案

自考离散数学试题及答案

自考离散数学试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 命题逻辑中,下列哪个表达式表示“非”操作?A. ∧B. ∨C. ¬D. →答案:C3. 在下列哪个图论的术语中,表示图中任意两个顶点都相连?A. 无向图B. 有向图C. 完全图D. 二分图答案:C4. 布尔代数中,下列哪个操作是“或”?A. ∧C. ¬D. →答案:B5. 以下哪个是等价关系的属性?A. 自反性B. 对称性C. 反对称性D. 传递性答案:A6. 有限自动机中,状态可以被分为哪两种类型?A. 初始状态和终止状态B. 接受状态和拒绝状态C. 确定状态和非确定状态D. 静态状态和动态状态答案:B7. 在关系数据库中,下列哪个操作用于删除表中的行?A. INSERTB. DELETEC. UPDATED. SELECT答案:B8. 以下哪个是谓词逻辑中的量词?B. ∃C. ∧D. ∨答案:A9. 在命题逻辑中,德摩根定律描述了哪些逻辑运算的对偶性?A. ∧ 和∨B. ¬和→C. ¬和↔D. → 和↔答案:A10. 树的深度优先搜索(DFS)算法通常使用哪种数据结构来实现?A. 队列B. 栈C. 链表D. 哈希表答案:B二、填空题(每题3分,共30分)11. 在集合{1, 2, 3, 4, 5}中,子集的总数是_________。

答案:3212. 如果命题P为真,则命题P → Q的真值表中,Q的值必须为_________。

答案:真13. 在有向图中,一个顶点的入度是指_________。

答案:指向该顶点的边的数量14. 一个关系R(A, B, C)中,如果对于任意两个元组,当它们在属性A上的值相等时,它们在属性B和C上的值也相等,则称R具有_________。

答案:候选键15. 在布尔代数中,表达式(A ∧ B) ∨ (A ∧ ¬B)的结果是_________。

离散数学试题总汇及答案

离散数学试题总汇及答案

离散数学试题总汇及答案一、单项选择题(每题2分,共20分)1. 在集合{1,2,3}和{3,4,5}的笛卡尔积中,元素(2,4)是否存在?A. 存在B. 不存在C. 无法确定D. 以上都不对2. 函数f: A→B是单射的,当且仅当对于任意的a1, a2∈A,若f(a1)=f(a2),则a1=a2。

A. 正确B. 错误C. 无法确定D. 以上都不对3. 以下哪个命题是真命题?A. 所有的狗都会游泳。

B. 有些狗不会游泳。

C. 所有的狗都不会游泳。

D. 以上都不是真命题。

4. 如果p蕴含q为假,那么p和q的真值可以是?A. p为真,q为假B. p为假,q为真C. p为真,q为真D. p为假,q为假5. 以下哪个图是连通图?A. 一个孤立点B. 两个不相连的点C. 一个包含三个点且每对点都相连的图D. 以上都不是连通图6. 在有向图中,如果存在从顶点u到顶点v的路径,那么称v是u的后继顶点。

A. 正确B. 错误C. 无法确定D. 以上都不对7. 以下哪个等价关系是集合{1,2,3}上的?A. {(1,1), (2,2), (3,3)}B. {(1,2), (2,1), (2,2), (3,3)}C. {(1,1), (2,3), (3,2), (3,3)}D. {(1,1), (2,2), (3,3), (1,3)}8. 以下哪个命题是假命题?A. 所有的鸟都有羽毛。

B. 有些鸟不会飞。

C. 所有的哺乳动物都是温血动物。

D. 以上都不是假命题。

9. 在图论中,一个图的生成树是包含图中所有顶点的最小连通子图。

A. 正确B. 错误C. 无法确定D. 以上都不对10. 如果命题p和q互为逆否命题,那么它们具有相同的真值。

A. 正确B. 错误C. 无法确定D. 以上都不对二、填空题(每题2分,共20分)1. 集合{1,2,3}和{3,4,5}的并集是________。

2. 函数f: A→B是满射的,当且仅当对于任意的b∈B,存在a∈A,使得f(a)=________。

离散数学考试题目及答案

离散数学考试题目及答案

离散数学考试题目及答案1. 试述命题逻辑中的等价关系和蕴含关系。

答案:命题逻辑中的等价关系是指两个命题在所有可能的真值赋值下都具有相同的真值。

若命题P和Q等价,则记作P⇔Q。

蕴含关系是指如果命题P为真,则命题Q也为真,但Q为真时P不一定为真。

若命题P蕴含Q,则记作P→Q。

2. 证明:若集合A和B的交集非空,则它们的并集包含A和B。

答案:设x属于A∩B,即x同时属于A和B。

根据并集的定义,若元素属于A或B,则它属于A∪B。

因此,x属于A∪B。

由于x是任意属于A∩B的元素,所以A∩B≠∅意味着A∪B至少包含A∩B中的所有元素,即A∪B包含A和B。

3. 给定一个有向图G,如何判断G中是否存在环?答案:判断有向图G中是否存在环,可以采用深度优先搜索(DFS)算法。

在DFS过程中,记录每个顶点的访问状态,如果遇到一个已访问过的顶点,且该顶点不是当前路径的直接前驱,则表示存在环。

4. 描述有限自动机的组成部分及其功能。

答案:有限自动机由以下几部分组成:输入字母表、状态集合、转移函数、初始状态和接受状态集合。

输入字母表定义了自动机可以接收的符号集合;状态集合包含了自动机所有可能的状态;转移函数定义了在给定输入符号和当前状态的情况下,自动机如何转移到下一个状态;初始状态是自动机开始工作时的状态;接受状态集合包含了所有使自动机接受输入字符串的状态。

5. 什么是图的连通分量?如何确定一个无向图的连通分量?答案:图的连通分量是指图中最大的连通子图。

在一个无向图中,如果两个顶点之间存在路径,则称这两个顶点是连通的。

确定无向图的连通分量可以通过深度优先搜索(DFS)或广度优先搜索(BFS)算法。

从任一顶点开始搜索,搜索过程中访问的所有顶点构成一个连通分量。

重复此过程,直到所有顶点都被访问过,即可确定图中所有连通分量。

离散数学试题及答案解析

离散数学试题及答案解析

离散数学试题及答案解析一、选择题1. 在集合{1,2,3,4}中,含有3个元素的子集有多少个?A. 4B. 8C. 16D. 32答案:B解析:含有3个元素的子集可以通过组合数公式C(n, k) = n! / [k!(n-k)!]来计算,其中n为集合的元素个数,k为子集中的元素个数。

在本题中,n=4,k=3,所以C(4, 3) = 4! / [3!(4-3)!] = 4。

2. 下列哪个命题是真命题?A. 所有偶数都是整数。

B. 所有整数都是偶数。

C. 所有整数都是奇数。

D. 所有奇数都是整数。

答案:A解析:偶数是指能被2整除的整数,因此所有偶数都是整数,选项A是真命题。

选项B、C和D都是错误的,因为并非所有整数都是偶数或奇数。

二、填空题1. 逻辑运算符“非”(NOT)的真值表是:当输入为真时,输出为______;当输入为假时,输出为真。

答案:假解析:逻辑运算符“非”(NOT)是一元运算符,它将输入的真值取反。

如果输入为真,则输出为假;如果输入为假,则输出为真。

2. 命题逻辑中,合取词“与”(AND)的真值表是:当两个命题都为真时,输出为真;否则输出为______。

答案:假解析:合取词“与”(AND)是二元运算符,只有当两个命题都为真时,输出才为真;如果其中一个或两个命题为假,则输出为假。

三、简答题1. 解释什么是等价关系,并给出一个例子。

答案:等价关系是定义在集合上的一个二元关系,它满足自反性、对称性和传递性。

例如,考虑整数集合上的“同余”关系。

对于任意整数a,b,如果a和b除以同一个正整数n后余数相同,则称a和b模n同余。

这个关系是自反的(a同余a),对称的(如果a同余b,则b同余a),并且是传递的(如果a同余b且b同余c,则a同余c)。

2. 什么是图的连通性?一个图是连通的需要满足什么条件?答案:图的连通性是指在无向图中,任意两个顶点之间都存在一条路径。

一个图是连通的需要满足以下条件:图中的任意两个顶点v和w,都可以通过图中的边相互到达。

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

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

离散数学期末考试题及答案一、单项选择题(每题2分,共20分)1. 集合A={1,2,3},B={2,3,4},则A∩B=()。

A. {1,2,3}B. {2,3}C. {2,4}D. {1,4}答案:B2. 命题“若x>0,则x>1”的逆否命题是()。

A. 若x≤0,则x≤1B. 若x≤1,则x≤0C. 若x>1,则x>0D. 若x≤1,则x≤0答案:B3. 函数f: A→B的定义域是集合A,值域是集合B,则()。

A. A⊆BB. A⊂BC. A⊇BD. A⊃B答案:A4. 集合{1,2,3}与集合{3,2,1}是否相等?()。

A. 是B. 否C. 无法确定D. 以上都不对答案:A5. 命题p:“x>0”,则¬p为()。

A. x≤0B. x<0C. x=0D. x<0或x=0答案:A6. 命题“若x>0,则x>1”的逆命题是()。

A. 若x>0,则x>1B. 若x≤1,则x≤0C. 若x>1,则x>0D. 若x≤0,则x≤1答案:C7. 函数f: A→B的定义域是集合A,值域是集合B,则()。

A. A⊆BB. A⊂BC. A⊇BD. A⊃B答案:A8. 集合{1,2,3}与集合{3,2,1}是否相等?()。

A. 是B. 否C. 无法确定D. 以上都不对答案:A9. 命题p:“x>0”,则¬p为()。

A. x≤0B. x<0C. x=0D. x<0或x=0答案:A10. 命题“若x>0,则x>1”的逆命题是()。

A. 若x>0,则x>1B. 若x≤1,则x≤0C. 若x>1,则x>0D. 若x≤0,则x≤1答案:C二、填空题(每题2分,共20分)1. 集合A={1,2,3},B={2,3,4},则A∪B=______。

答案:{1,2,3,4}2. 命题“若x>0,则x>1”的逆否命题是:若x≤1,则x≤0。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案离散数学考试试题及答案离散数学是计算机科学和数学中的一门重要学科,它研究的是离散的结构和对象。

离散数学的理论和方法在计算机科学、信息科学、通信工程等领域具有广泛的应用。

下面将为大家提供一些离散数学考试试题及答案,希望对大家的学习和复习有所帮助。

1. 集合论题目(1) 设A={1,2,3,4,5},B={3,4,5,6,7},求A∪B的结果。

答案:A∪B={1,2,3,4,5,6,7}(2) 设A={1,2,3,4,5},B={3,4,5,6,7},求A∩B的结果。

答案:A∩B={3,4,5}(3) 设A={1,2,3,4,5},B={3,4,5,6,7},求A-B的结果。

答案:A-B={1,2}2. 图论题目(1) 给定一个无向图G,顶点集为V={A,B,C,D,E},边集为E={(A,B),(A,C),(B,D),(C,D),(D,E)},求该图的邻接矩阵。

答案:邻接矩阵为:A B C D EA 0 1 1 0 0B 1 0 0 1 0C 1 0 0 1 0D 0 1 1 0 1E 0 0 0 1 0(2) 给定一个有向图G,顶点集为V={A,B,C,D,E},边集为E={(A,B),(B,C),(C,D),(D,E),(E,A)},求该图的邻接表。

答案:邻接表为:A ->B ->C ->D ->E -> AB -> CC -> DD -> EE -> A3. 命题逻辑题目(1) 判断以下命题是否为永真式:(p∨q)∧(¬p∨r)∧(¬q∨¬r)。

答案:是永真式。

(2) 给定命题p:如果天晴,那么我去游泳;命题q:我没有去游泳。

请判断以下命题的真假:(¬p∨q)∧(p∨¬q)。

答案:是真命题。

4. 关系代数题目(1) 给定关系R(A,B,C)和S(B,C,D),求R⋈S的结果。

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、选择题1. 下列哪个是由离散数学的基本概念组成的?A. 集合论和函数论B. 图论和逻辑C. 运算符和关系D. 全数论和数论答案:B2. 下列哪个是离散数学的一个应用领域?A. 数据结构和算法分析B. 微积分和线性代数C. 概率论和统计学D. 数值分析和微分方程答案:A3. 集合A={1, 2, 3},集合B={2, 3, 4},则A交B的结果是:A. {1, 2, 3, 4}B. {2, 3}C. {2}D. {1}答案:B4. 下列哪个是对于集合的补集运算的正确描述?A. A∪A' = ∅B. A∩A' = ∅C. A - A' = AD. A'∩B' = (A∪B)'答案:B5. 若命题p为真,命题q为假,则命题p→q的真值为:A. 真B. 假C. 不确定D. 无法确定答案:B二、填空题1. 对于命题“如果x是偶数,则x能被2整除”,其逆命题为________________。

答案:如果x不能被2整除,则x不是偶数。

2. 在一个完全图中,如果有12条边,则这个图有__________个顶点。

答案:6个顶点。

3. 设集合A={1, 2, 3, 4},则A的幂集的元素个数是__________。

答案:2^4=16个元素。

4. 设关系R={(-1, 0), (0, 1), (1, 0)},则R的逆关系是__________。

答案:R^(-1)={(0, -1), (1, 0), (0, 1)}。

5. 若集合A={1, 2, 3},集合B={2, 3, 4},则A的笛卡尔积B是__________。

答案:A×B={(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。

三、计算题1. 求集合A={1, 2, 3}和集合B={2, 3, 4}的并集。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案一、单项选择题(每题5分,共20分)1. 在离散数学中,以下哪个概念不是布尔代数的基本元素?A. 逻辑与B. 逻辑或C. 逻辑非D. 逻辑异或答案:D2. 下列哪个命题不是命题逻辑中的命题?A. 所有学生都是勤奋的B. 有些学生是勤奋的C. 学生是勤奋的D. 勤奋的学生答案:D3. 在集合论中,以下哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 以下哪个图不是无向图?A. 简单图B. 完全图C. 有向图D. 多重图答案:C二、填空题(每题5分,共20分)1. 如果一个命题的逆否命题为真,则原命题的________为真。

答案:逆命题2. 在图论中,如果一个图的任意两个顶点都由一条边连接,则称这个图为________图。

答案:完全3. 一个集合的幂集是指包含该集合的所有________的集合。

答案:子集4. 如果一个函数的定义域和值域都是有限集合,那么这个函数被称为________函数。

答案:有限三、简答题(每题10分,共30分)1. 请简述什么是图的欧拉路径。

答案:欧拉路径是一条通过图中每条边恰好一次的路径。

2. 解释什么是二元关系,并给出一个例子。

答案:二元关系是指定义在两个集合之间的关系,它将第一个集合中的元素与第二个集合中的元素联系起来。

例如,小于关系就是一个二元关系。

3. 请说明什么是递归函数,并给出一个简单的例子。

答案:递归函数是一种通过自身定义来计算函数值的函数。

例如,阶乘函数就是一个递归函数,定义为:n! = n * (n-1)!,其中n! = 1当n=0时。

四、计算题(每题10分,共30分)1. 计算以下逻辑表达式:(P ∧ Q) ∨ ¬R答案:首先计算P ∧ Q,然后计算¬R,最后计算两者的逻辑或。

2. 给定集合A = {1, 2, 3},B = {2, 3, 4},求A ∪ B。

答案:A ∪ B = {1, 2, 3, 4}3. 已知函数f(x) = 2x + 3,求f(5)。

离散数学试题及答案解析

离散数学试题及答案解析

离散数学试题及答案解析一、单项选择题(每题2分,共10分)1. 集合A={1,2,3},集合B={2,3,4},则A∩B等于:A. {1,2,3}B. {2,3}C. {1,4}D. {3,4}答案:B2. 以下哪个命题是真命题?A. 所有天鹅都是白色的。

B. 有些天鹅不是白色的。

C. 所有天鹅都不是白色的。

D. 没有天鹅是白色的。

答案:B3. 函数f: A→B的定义域是A,值域是B,那么f是:A. 单射B. 满射C. 双射D. 既不是单射也不是满射答案:D4. 逻辑表达式(p∧q)→r的逆否命题是:A. ¬r→¬(p∧q)B. ¬r→¬p∨¬qC. r→(p∧q)D. ¬r∧¬p∨¬q答案:B5. 有限集合A={a, b, c}的子集个数为:A. 3B. 4C. 7D. 8答案:D二、填空题(每题3分,共15分)1. 如果一个关系R在集合A上是自反的,那么对于A中的每一个元素a,都有___________。

答案:(a, a)∈R2. 命题逻辑中,合取(AND)的逻辑运算符用___________表示。

答案:∧3. 在图论中,一个连通图是指图中任意两个顶点之间都存在___________。

答案:路径4. 集合{1, 2, 3}的幂集包含___________个元素。

答案:85. 如果一个函数f是单射,那么对于任意的x1, x2∈A,如果f(x1)=f(x2),则x1___________x2。

答案:=三、解答题(每题10分,共20分)1. 证明:若p是q的充分条件,q是r的充分条件,则p是r的充分条件。

证明:假设p成立,由于p是q的充分条件,所以q成立。

又因为q是r的充分条件,所以r成立。

因此,p成立可以推出r成立,即p是r的充分条件。

2. 给定一个有向图,其中包含顶点A、B、C、D,边为(A, B),(B, C),(C, D),(D, A),(A, C)。

离散数学本科试题及答案

离散数学本科试题及答案

离散数学本科试题及答案一、选择题(每题5分,共20分)1. 在集合论中,空集的定义是:A. 包含所有集合的集合B. 不包含任何元素的集合C. 包含所有非空集合的集合D. 包含所有有限集合的集合答案:B2. 在逻辑运算中,非运算的符号是:A. ∧B. ∨C. ¬D. →答案:C3. 以下哪个选项是图的邻接矩阵表示法?A. 邻接表B. 顶点列表C. 边列表D. 所有选项都是答案:A4. 以下哪个命题是真命题?A. 所有的偶数都是整数B. 所有的整数都是偶数C. 所有的奇数都是整数D. 所有的整数都是奇数答案:A二、填空题(每题5分,共20分)1. 在布尔代数中,逻辑与运算的符号是________。

答案:∧2. 如果一个图是无向图且任意两个顶点都相连,则称这个图是________。

答案:完全图3. 在关系数据库中,关系模式的属性名集合称为________。

答案:关系模式4. 一个命题的逆否命题与其原命题的________是相同的。

答案:真假性三、简答题(每题10分,共30分)1. 描述什么是二元关系,并举例说明。

答案:二元关系是定义在两个集合上的一个关系,它由有序对组成,每个有序对的第一个元素来自第一个集合,第二个元素来自第二个集合。

例如,小于关系是实数集上的一个二元关系,因为对于任意两个实数a和b,如果a小于b,那么有序对(a, b)属于这个关系。

2. 解释什么是图的哈密顿回路,并给出一个例子。

答案:图的哈密顿回路是一条通过图中每个顶点恰好一次的闭合路径。

例如,在一个五边形的顶点上,可以画出一条哈密顿回路,即从任一顶点出发,依次经过其他顶点,最后回到起始顶点。

3. 什么是正规文法?请给出一个例子。

答案:正规文法是一种形式文法,它能够生成正规集合,即可以被有限自动机接受的字符串集合。

例如,正规文法可以定义为:S -> aSb| ε,其中S是开始符号,a和b是字母,ε表示空字符串。

这个文法生成的字符串集合是所有长度为偶数的字符串,其中a和b交替出现。

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

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

离散数学期末考试试题及答案一、选择题(每题5分,共25分)1. 设A={1,2,3,4,5},B={2,3,5,7,11},则A∩B等于()A. {1,2,3,4,5}B. {2,3,5}C. {1,4}D. {2,3,5,7,11}2. 下面哪一个图是连通图?()A. 无向图B. 有向图C. 平面图D. 连通图3. 若一个图G有n个顶点,e条边,则以下哪个条件是图G 为连通图的必要条件?()A. n ≥ eB. n ≤ eC. n = eD. n + e = 24. 在一个简单图中,若每个顶点的度数都等于n-1,则该图是()A. 无向图B. 有向图C. 完全图D. 平面图5. 以下哪一个命题是正确的?()A. 每个图都有欧拉回路B. 每个连通图都有哈密顿回路C. 每个图都有哈密顿路径D. 每个连通图都有欧拉路径二、填空题(每题5分,共25分)6. 设A={a,b,c},B={1,2,3},则A×B的结果是______。

7. 一个连通图的生成树包含______条边。

8. 在一个n阶完全图中,任意两个不同顶点之间的距离是______。

9. 一个图G的顶点集为V,边集为E,则图G的邻接矩阵表示为______。

10. 在一个简单图中,若每个顶点的度数都等于n-1,则该图的边数是______。

三、判断题(每题5分,共25分)11. 一个图的子图包含原图的所有顶点和边。

()12. 一个连通图的所有顶点都连通。

()13. 在一个简单图中,每个顶点的度数都小于等于n-1。

()14. 每个图都有哈密顿路径。

()15. 一个图G的生成树是原图G的子图。

()四、解答题(共50分)16. (10分)设A={1,2,3,4,5},B={2,3,5,7,11},求A∪B 和A-B。

17. (10分)证明:一个连通图的每个顶点的度数都大于等于2。

18. (10分)给定一个图G,顶点集V={a,b,c,d,e},边集E={ab,bc,cd,de,ac,ad},求图G的所有连通分支。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案一、选择题(每题2分,共20分)1. 在集合论中,以下哪个选项表示“属于”关系?A. ⊆B. ⊂C. ∈D. ⊇答案:C2. 以下哪个命题是真命题?A. p ∧ ¬pB. p ∨ ¬pC. p → ¬pD. ¬(p → q) → p答案:B3. 以下哪个选项是命题逻辑中的德摩根定律?A. ¬(p ∨ q) = ¬p ∧ ¬qB. ¬(p ∧ q) = ¬p ∨ ¬qC. ¬(p → q) = p ∧ ¬qD. ¬(p ∨ q) = ¬p ∨ ¬q答案:A4. 以下哪个选项是命题逻辑中的蕴含等价?A. p → q ≡ ¬p ∨ qB. p → q ≡ ¬q → ¬pC. p → q ≡ p ∨ ¬qD. p → q ≡ ¬p ∧ q答案:A5. 以下哪个选项是关系的性质?A. 反身性B. 对称性C. 传递性D. 所有选项都是答案:D6. 以下哪个选项是图论中的有向图?A. 无向图中的边没有方向B. 有向图中的边有方向C. 混合图中的边既有方向也有无方向D. 所有选项都是答案:B7. 在图论中,以下哪个选项是树的性质?A. 树是无环的B. 树是连通的C. 树是无向图D. 所有选项都是答案:D8. 以下哪个选项是布尔代数的基本运算?A. 与(AND)B. 或(OR)C. 非(NOT)D. 所有选项都是答案:D9. 以下哪个选项是组合数学中的排列?A. 从n个不同元素中取出m个元素的组合B. 从n个不同元素中取出m个元素的排列C. 从n个相同元素中取出m个元素的组合D. 从n个相同元素中取出m个元素的排列答案:B10. 以下哪个选项是集合论中的幂集?A. 一个集合的所有子集的集合B. 一个集合的所有真子集的集合C. 一个集合的所有超集的集合D. 一个集合的所有子集的个数答案:A二、简答题(每题10分,共30分)1. 简述命题逻辑中的等价命题是什么?答案:等价命题是指两个命题在所有可能的真值赋值下都具有相同真值的命题。

离散数学考研试题及答案

离散数学考研试题及答案

离散数学考研试题及答案一、单项选择题(每题3分,共30分)1. 在集合论中,集合A和集合B的交集表示为()。

A. A∪BB. A∩BC. A-BD. A⊆B答案:B2. 命题逻辑中,一个命题的否定是()。

A. 原命题B. 原命题的逆命题C. 原命题的否命题D. 原命题的逆否命题答案:C3. 在图论中,一个无向图的边数为n,那么它的最大连通分量的顶点数至少为()。

A. nB. n/2C. n+1D. n-1答案:B4. 一个布尔代数中,0和1分别代表()。

A. 真和假B. 假和真C. 真和假D. 假和假答案:B5. 在关系数据库中,关系R和关系S的自然连接操作表示为()。

A. R∪SB. R∩SC. R∩SD. R×S答案:C6. 一个图的邻接矩阵的元素a[i][j]表示()。

A. 顶点i和顶点j之间边的权重B. 顶点i和顶点j之间边的数量C. 顶点i和顶点j之间是否有边D. 顶点i和顶点j之间的距离答案:C7. 一个命题逻辑公式的真值表中,如果某一行的真值均为真,则该行对应的公式是()。

A. 矛盾B. 可满足的C. 永真D. 不可满足的答案:C8. 一个有向图的入度为0的顶点称为()。

A. 源点B. 汇点C. 孤立点D. 环点答案:A9. 一个布尔函数f(x1, x2, ..., xn)的最小项表示为()。

A. f(x1, x2, ..., xn)的最小化表达式B. f(x1, x2, ..., xn)的最大化表达式C. f(x1, x2, ..., xn)的真值表中为1的项D. f(x1, x2, ..., xn)的真值表中为0的项答案:C10. 在关系数据库中,关系R和关系S的差集操作表示为()。

A. R-SB. R∪SC. R∩SD. R×S答案:A二、多项选择题(每题4分,共20分)1. 以下哪些是离散数学中的基本概念?()。

A. 集合B. 逻辑C. 函数D. 微积分答案:ABC2. 在图论中,以下哪些是图的基本操作?()。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

离散数学试题及答案一、填空题1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=_____{3}______________; ρ(A) - ρ(B)=____{{3},{1,3},{2,3},{1,2,3}}__________ .2. 设有限集合A, |A| = n, 则|ρ(A×A)| = ___2^(n^2)________.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是____A1 = {(a,1), (b,1)}, A2 = {(a,2), (b,2)}, A3 = {(a,1), (b,2)}, A4 = {(a,2), (b,1)},_________ _____________, 其中双射的是______A3, A4__________.4. 已知命题公式G=⌝(P→Q)∧R,则G的主析取式是____P∧⌝Q∧R (m5)____.5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为___12______,分枝点数为_______3_________.6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A⋂B=______{4}______; A⋃B=____{1,2,3,4}_________;A-B=______{1,2}_______ .7. 设R是集合A上的等价关系,则R所具有的关系的三个特性是______自反性____________, _________对称性_________, _________传递性_____________.8. 设命题公式G=⌝(P→(Q∧R)),则使公式G为真的解释有_____(1,0,0)__________,______(1,0,1)________, ________(1,1,0)________.9. 设集合A={1,2,3,4}, A上的关系R1= {(1,4),(2,3),(3,2)}, R1= {(2,1),(3,2),(4,3)}, 则R1•R2 = ___{(1,3),(2,2),(3,1)}____,R2•R1 =_____{(2,4), (3,3), (4,2)}_____, R12=_______{(2,2), (3,3)}_________.10. 设有限集A, B,|A| = m, |B| = n, 则| |ρ(A⨯B)| = ______2^(m*n)___________.11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = _____{x | -1 ≤x < 0, x ∈R}_______ , B-A = ______{x | 1 < x < 2, x ∈R}_____ , A∩B = ______{x | 0 ≤x ≤1, x ∈R}__________ , .13.设集合A={2, 3, 4, 5, 6},R是A上的整除,则R以集合形式(列举法)记为___________ ________{(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)}_________.14. 设一阶逻辑公式G = ∀xP(x)→∃xQ(x),则G的前束式是_____∃y∃x(P(y)→Q(x))________ _____.15.设G是具有8个顶点的树,则G中增加__21___条边才能把G变成完全图。

16. 设谓词的定义域为{a, b},将表达式∀xR(x)→∃xS(x)中量词消除,写成与之对应的命题公式是________(R(a)∧R(b))→(S(a)∨S(b))______________________.17. 设集合A={1, 2, 3, 4},A上的二元关系R={(1,1),(1,2),(2,3)}, S={(1,3),(2,3),(3,2)}。

则R⋅S=_______{(1, 3),(2, 2)}________________,R2=_____________{(1, 1),(1, 2),(1, 3)}_______________.二、选择题1设集合A={2,{a},3,4},B = {{a},3,4,1},E为全集,则下列命题正确的是( C)。

(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不具备( D).(A)自反性(B)传递性(C)对称性(D)反对称性3 设半序集(A,≤)关系≤的哈斯图如下所示,若A的子集则元素6为B的( B)。

(A)下界(B)上界(C)最小上界(D)以上答案都不对4下列语句中,( B)是命题。

(A)请把门关上(B)地球外的星球上也有人(C)x + 5 > 6 (D)下午有会吗?5设I是如下一个解释:D={a,b},11b)P(b,a)P(b,b)P(a,),(aaP则在解释I下取真值为1的公式是( D).(A)∃x∀yP(x,y) (B)∀x∀yP(x,y) (C)∀xP(x,x) (D)∀x∃yP(x,y).6. 若供选择答案中的数值表示一个简单图中各个顶点的度,能画出图的是( C).(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是( C).(A)恒真的(B)恒假的(C)可满足的(D)前束式.8设命题公式G=⌝(P→Q),H=P→(Q→⌝P),则G与H的关系是( A)。

(A)G⇒H (B)H⇒G (C)G=H (D)以上都不是.9设A, B为集合,当( D )时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具有( B)。

(A)自反性(B)传递性(C)对称性(D)以上答案都不对11下列关于集合的表示中正确的为( B)。

(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).(A)对任意x,G(x)都取真值1. (B)有一个x0,使G(x0)取真值1.(C)有某些x,使G(x0)取真值1. (D)以上答案都不对.13. 设G是连通平面图,有5个顶点,6个面,则G的边数是( A).(A) 9条(B) 5条(C) 6条(D) 11条.14. 设G 是5个顶点的完全图,则从G 中删去( A )条边可以得到树.(A)6 (B)5(C)10 (D)4.15. 设图G的相邻矩阵为⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡0110110101110110010111110,则G 的顶点数与边数分别为( D ).(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)的哈斯图;124836129(2) 写出A 的子集B = {3,6,9,12}的上界,下界,最小上界,最大下界;B 无上界,也无最小上界。

下界1, 3; 最大下界是3.(3) 写出A 的最大元,最小元,极大元,极小元。

A 无最大元,最小元是1,极大元8, 12, 90+; 极小元是1.2. 设集合A ={1, 2, 3, 4},A 上的关系R ={(x,y) | x, y ∈A 且 x ≥ y}, 求(1) 画出R 的关系图;(2) 写出R 的关系矩阵.1000110011101111R M ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦3. 设R 是实数集合,σ,τ,ϕ是R 上的三个映射,σ(x) = x+3, τ(x) = 2x, ϕ(x) = x/4,试求复合映射σ•τ,σ•σ, σ•ϕ, ϕ•τ,σ•ϕ•τ. (1)σ•τ=σ(τ(x))=τ(x)+3=2x+3=2x+3. (2)σ•σ=σ(σ(x))=σ(x)+3=(x+3)+3=x+6, (3)σ•ϕ=σ(ϕ(x))=ϕ(x)+3=x/4+3, (4)ϕ•τ=ϕ(τ(x))=τ(x)/4=2x/4 = x/2,(5)σ•ϕ•τ=σ•(ϕ•τ)=ϕ•τ+3=2x/4+3=x/2+3.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 ));P (a , f (a ))∧P (b , f (b ))= P (3, f (3))∧P (2, f (2))= P (3, 2)∧P (2, 3) = 1∧0= 0.(2) ∀x ∃y P (y , x ).∀x∃y P (y, x) = ∀x (P (2, x)∨P (3, x))= (P (2, 2)∨P (3, 2))∧(P (2, 3)∨P (3, 3))= (0∨1)∧(0∨1)= 1∧1= 1.5. 设集合A={1, 2, 4, 6, 8, 12},R为A上整除关系。

(1)画出半序集(A,R)的哈斯图;(2)写出A的最大元,最小元,极大元,极小元;无最大元,最小元1,极大元8, 12; 极小元是1.(3)写出A的子集B = {4, 6, 8, 12}的上界,下界,最小上界,最大下界. B无上界,无最小上界。

下界1, 2; 最大下界2.6. 设命题公式G = ⌝(P→Q)∨(Q∧(⌝P→R)), 求G的主析取式。

7. (9分)设一阶逻辑公式:G = (∀xP(x)∨∃yQ(y))→∀xR(x),把G化成前束式.G = (∀xP(x)∨∃yQ(y))→∀xR(x)= ⌝(∀xP(x)∨∃yQ(y))∨∀xR(x)= (⌝∀xP(x)∧⌝∃yQ(y))∨∀xR(x)= (∃x⌝P(x)∧∀y⌝Q(y))∨∀zR(z)= ∃x∀y∀z((⌝P(x)∧⌝Q(y))∨R(z))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);r(R)=R∪I A={(a,b), (b,a), (b,c), (c,d), (a,a), (b,b), (c,c), (d,d)},s(R)=R∪R-1={(a,b), (b,a), (b,c), (c,b) (c,d), (d,c)},t(R)=R∪R2∪R3∪R4={(a,a), (a,b), (a,c), (a,d), (b,a), (b,b), (b,c), (b,d), (c,d)};(2)画出r(R), s(R), t(R)的关系图.r(R)s(R)d t(R)11. 通过求主析取式判断下列命题公式是否等价:(1) G = (P∧Q)∨(⌝P∧Q∧R)(2) H = (P∨(Q∧R))∧(Q∨(⌝P∧R))G=(P∧Q)∨(⌝P∧Q∧R)=(P∧Q∧⌝R)∨(P∧Q∧R)∨(⌝P∧Q∧R)=m6∨m7∨m3=∑ (3, 6, 7)H = (P ∨(Q ∧R))∧(Q ∨(⌝P ∧R)) =(P ∧Q)∨(Q ∧R))∨(⌝P ∧Q ∧R)=(P ∧Q ∧⌝R)∨(P ∧Q ∧R)∨(⌝P ∧Q ∧R)∨(P ∧Q ∧R)∨(⌝P ∧Q ∧R) =(P ∧Q ∧⌝R)∨(⌝P ∧Q ∧R)∨(P ∧Q ∧R) =m 6∨m 3∨m 7 =∑ (3, 6, 7)G,H 的主析取式相同,所以G = H.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 的关系矩阵;⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=0000100001000101R M ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=1000000011000010S M(2) 计算R •S , R ∪S , R -1, S -1•R -1.R •S ={(a , b ),(c , d )},R ∪S ={(a , a ),(a , b ),(a , c ),(b , c ),(b , d ),(c , d ),(d , d )}, R -1={(a , a ),(c , a ),(c , b ),(d , c )}, S -1•R -1={(b , a ),(d , c )}.四、证明题1. 利用形式演绎法证明:{P→Q, R→S, P∨R}蕴涵Q∨S。

相关文档
最新文档