《离散数学》试习题及答案
离散数学试题及答案
离散数学试题及答案一、选择题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)}。
离散数学考试题及答案
离散数学考试题及答案一、单项选择题（每题2分，共10分）1. 在集合{1,2,3}和{3,4,5}的笛卡尔积中，元素(3,4)属于（）。
A. {1,2,3}B. {3,4,5}C. {1,2,3,4,5}D. {1,2,3}×{3,4,5}答案：D2. 命题“若x>2，则x>1”的逆否命题是（）。
A. 若x≤2，则x≤1B. 若x≤1，则x≤2C. 若x≤1，则x≤2D. 若x≤2，则x≤1答案：C3. 函数f: A→B的定义域是集合A，值域是集合B的（）。
A. 子集B. 真子集C. 任意子集D. 非空子集答案：D4. 以下哪个图是无向图（）。
A. 有向图B. 无向图C. 完全图D. 树答案：B5. 以下哪个命题是真命题（）。
A. 所有的马都是白色的B. 有些马是白色的C. 没有马是白色的D. 以上都不是答案：B二、填空题（每题2分，共10分）6. 集合{1,2,3}的子集个数为______。
答案：87. 命题“若x>0，则x>1”的逆命题是：若x>1，则______。
答案：x>08. 函数f: A→B中，若A={1,2}，B={3,4}，则f的值域可以是{3}或{4}或{3,4}，但不能是______。
答案：{1,2}9. 在有向图中，若存在从顶点A到顶点B的有向路径，则称A到B是______的。
答案：可达10. 命题逻辑中，合取（AND）的符号是______。
答案：∧三、解答题（每题15分，共30分）11. 证明：若p∧q为真，则p和q都为真。
证明：根据合取（AND）的定义，p∧q为真当且仅当p和q都为真。
因此，若p∧q为真，则p和q都为真。
12. 给定函数f: A→B，其中A={1,2,3}，B={4,5,6}，且f(1)=4，f(2)=5，f(3)=6。
请找出f的值域。
答案：根据函数的定义，f的值域是其所有输出值的集合。
因此，f的值域为{4,5,6}。
(完整版)离散数学题目及答案
数理逻辑习题判断题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．飞碟来自地球外的星球。
离散数学考试题及详细参考答案
离散数学考试题(后附详细答案)一、命题符号化（共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。
离散数学考试题及答案
离散数学考试题及答案一、选择题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. 逻辑学答案：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}，请计算它的幂集，并列出所有元素。
离散数学考试题目及答案
离散数学考试题目及答案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={3,4,5}，则A∩B的元素个数为：A. 0B. 1C. 2D. 3答案：B2. 函数f: X→Y是一个双射，当且仅当：A. f是单射且满射B. f是单射C. f是满射D. f是双射答案：A3. 命题p: "x是偶数"，命题q: "x是3的倍数"，下列逻辑运算中，表示"x是6的倍数"的是：A. p∧qB. p∨qC. ¬p∧¬qD. ¬p∨¬q答案：A4. 有向图G中，若存在从顶点u到顶点v的有向路径，则称顶点u可达顶点v。
若G中任意两个顶点都相互可达，则称G为：A. 强连通图B. 弱连通图C. 无向图D. 有向无环图答案：A5. 在二进制数系统中，下列哪个数的值最大？A. 1010B. 1100C. 1110D. 1101答案：C6. 布尔代数中，逻辑或运算符表示为：A. ∧B. ∨C. ¬D. →答案：B7. 有限自动机中，状态q0是初始状态，状态q1是接受状态。
若存在从q0到q1的ε-转移，则该自动机：A. 仅在输入为空时接受B. 仅在输入非空时接受C. 无论输入为何都接受D. 无法确定是否接受答案：C8. 命题逻辑中，若命题p和q都为真，则p∧q的真值是：A. 真B. 假C. 可能为真，也可能为假D. 无法确定答案：A9. 集合{1,2,3}的子集个数为：A. 4B. 6C. 7D. 8答案：D10. 若关系R在集合A上是自反的，则对于A中的任意元素a，有：A. (a,a)∈RB. (a,a)∉RC. (a,a)是R的自反对D. (a,a)不是R的自反对答案：A二、填空题（每题3分，共15分）1. 集合A={1,2,3}的幂集包含__个元素。
答案：82. 若函数f: X→Y是满射，则对于Y中的任意元素y，至少存在X中的一个元素x，使得f(x)=__。
离散数学考试题及答案
离散数学考试题及答案一、选择题（每题2分，共20分）1. 在集合论中，下列哪个符号表示属于关系？A. ∈B. ∉C. ⊆D. ∩答案：A2. 对于命题逻辑，下列哪个是真值表的表示方法？A. 真值表B. 逻辑图C. 布尔代数D. 集合论答案：A3. 以下哪个是图论中的基本单位？A. 点B. 线C. 面D. 体答案：A4. 函数f(x) = x^2 + 3x + 2在x=-1处的值是：A. 0C. 4D. 6答案：C5. 在关系数据库中，以下哪个操作用于删除表中的记录？A. SELECTB. INSERTC. UPDATED. DELETE答案：D6. 以下哪个是离散数学中的归纳法证明方法？A. 直接证明法B. 反证法C. 归纳法D. 构造性证明法答案：C7. 在逻辑中，以下哪个是析取命题？A. P ∧ QB. P ∨ QC. ¬PD. P → Q答案：B8. 以下哪个是图的遍历算法？B. BFSC. Dijkstra算法D. Floyd算法答案：B9. 在集合{1, 2, 3}上，以下哪个是幂集？A. {∅, {1}}B. {1, 2}C. {1, 2, 3}D. 所有选项答案：D10. 以下哪个是递归算法的特点？A. 不能自我调用B. 必须有一个终止条件C. 必须有一个基本情况D. 所有选项答案：D二、填空题（每空2分，共20分）1. 在离散数学中，_________ 表示一个命题的否定。
答案：¬P2. 如果集合A和集合B的交集为空集，那么A和B被称为_________。
答案：不相交3. 一个函数f: A → B是_________，如果对于集合B中的每个元素b，集合A中至少有一个元素a与之对应。
答案：满射4. 在图论中，一个没有环的连通图被称为_________。
答案：树5. 一个命题逻辑公式是_________，如果它在所有可能的真值分配下都是真的。
答案：重言式6. 一个关系R在集合A上是_________，如果对于A中的任意两个元素a和b，如果(a, b)属于R，则(b, a)也属于R。
(完整版)《离散数学》试题及答案解析,推荐文档
4. 设 I 是如下一个解释：D = {2, 3},
a
b
f (2) f (3)
3
2
3
2
试求 (1) P(a, f (a))∧P(b, f (b));
WORD 整理版
一、填空题 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 的所有映射是 __________________________ _____________, 其中双射的是
专业资料学习参考
WORD 整理版
0 1 1 1 1
15. 设图 G 的相邻矩阵为 1 0 1 0 0 ，则 G 的顶点数与边数分别为(
).
1 1 0 1 1
1 0 1 0 1
1 0 1 1 0
(A)4, 5 (B)5, 6 三、计算证明题
(C)4, 10
(D)5, 8.
1.设集合 A＝{1, 2, 3, 4, 6, 8, 9, 12}，R 为整除关系。
则在解释 I 下取真值为 1 的公式是( ).
(A)xyP(x,y) (B)xyP(x,y) (C)xP(x,x) (D)xyP(x,y). 6. 若供选择答案中的数值表示一个简单图中各个顶点的度，能画出图的是( ).
《离散数学》期末练习题考试卷和答案
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 必为欧拉图。
离散数学考试试题及答案
离散数学考试试题及答案一、单项选择题（每题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分，共20分）1. 集合A={x|x<5}，集合B={x|x>2}，则A∩B为：A. {x|x>2}B. {x|x<2}C. {x|2<x<5}D. {x|x≥5}2. 命题p："x>0"是命题q："x^2>0"的：A. 必要条件B. 充分条件C. 充分必要条件D. 无关条件3. 函数f(x)=x^2+3x-2的值域是：A. (-∞, -1]B. [1, +∞)C. (-∞, 4]D. (-∞, 2]4. 逻辑表达式((P∨Q)∧(¬P))的真值表中，当P为真时，表达式的值为：A. 真B. 假C. 不确定D. 无法判断5. 已知二元关系R定义在集合A上，若对于任意a,b,c∈A，若aRb且bRc，则aRc，那么R是：A. 自反的B. 对称的C. 传递的D. 完全的6. 有限状态自动机（DFA）与确定有限状态自动机（DFA）的区别在于：A. DFA可以识别非正则语言B. DFA可以有多个起始状态C. DFA可以有多个接受状态D. DFA可以有多个状态7. 命题逻辑中，若命题P的否定为P'，则P和P'的关系是：A. 互为对立B. 互为矛盾C. 互为等价D. 互为同一律8. 集合{1,2,3}的子集个数是：A. 3B. 4C. 7D. 89. 一个命题逻辑公式的真值表中，若存在一行结果为假，则该公式：A. 总是假B. 有时真，有时假C. 总是真D. 无法判断10. 布尔代数中，逻辑与（AND）操作的特点是：A. 有0则0B. 有1则1C. 非0即1D. 非1即0二、简答题（每题5分，共10分）1. 简述集合论中的幂集概念。
2. 描述图的邻接矩阵表示方法。
三、计算题（每题10分，共30分）1. 证明函数f(x)=x^3-3x^2+2x-1在R上是单调递增的。
《离散数学》试卷及答案精选全文完整版
H(x)：x是身体健康的；
S(x)：x是科学家
C(x)：x是事业获得成功的人
置换规则。
3、设集合|A|=101，S ,且|S|为奇数，则这样的S有2101/2或2100个。
4、设mi是公式G的的主析取范式中的一个极小项，则mi的对偶式不一定是（填“是”/“不是”/“不一定是” ） G的主合取范式中的一个极大项。
5、由3个元素组成的有限集上所有的等价关系有5个
6、给定解释I如下: (1) Di:={2,3}； (2) a=3； (3) 函数f(x)为f(2)=2，f(3)=3； (4) 谓词：F(x)为F(2):=1,F(3):=0;G(x,y)为当i=j时，G(i,j):=1；当i≠j时，G(i,j):=0；其中i,j=2,3;
ac>0并且cu>0
若u>0,则c>0,a>0,因此有ac>0;
若u<0,则c<0,a<0, 也有ac>0;
因此有（a+bi）R（u+vi）
所以R在C*是传递的。所以R是C*上的等价关系。
2、在一阶逻辑自然推理系统F中，构造下面推理的证明。个体域是人的集合。
“每位科学家都是勤奋的，每个勤奋又身体健康的人在事业中都会获得成功。存在着身体健康的科学家。所以，存在着事业获得成功的人。”（15分）
2.设A={1,2,3…10}，定义A上的二元关系R={<x,y>|x,y∈A∩x+y=10}，试讨论R关于关系的五个方面的性质并说明理由（5分）
解答：R={<1,9>,<9,1>,<2,8>,<8, 2 >,<3,7>,<7,3>,<4,6>,<6, 4 >,<5, 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)。
离散数学考试试题及答案
离散数学考试试题及答案一、选择题（每题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. 简述命题逻辑中的等价命题是什么？答案：等价命题是指两个命题在所有可能的真值赋值下都具有相同真值的命题。
离散数学试题与参考答案
《离散数学》试题及答案一、选择题：本题共5小题，每小题3分，共15分，在每小题给出的四个选项中，只有一项是符合题目要求的。
1. 命题公式Q Q P →∨)(为 ( )(A) 矛盾式 (B) 可满足式 (C) 重言式 (D) 合取范式2．设P 表示“天下大雨”， Q 表示“他在室内运动”，则命题“除非天下大雨，否则他不在室内运动”符号化为（ ）。
(A)． P Q →； (B)．P Q ∧； (C)．P Q ⌝→⌝； (D)．P Q ⌝∨．3.设集合A ={{1,2,3}, {4,5}, {6,7,8}}，则下式为真的是( )(A) 1∈A (B) {1,2, 3}⊆A(C) {{4,5}}⊂A (D) ∅∈A4. 设A ＝{1,2},B ={a ,b ,c },C ={c ,d }, 则A ×(B ⋂C )= ( )(A) {<1,c >,<2,c >} (B) {<c ,1>,<2,c >} (C) {<c ,1><c ,2>,} (D) {<1,c >,<c ,2>}5. 设G 如右图：那么G 不是( ). (A)哈密顿图； (B)完全图；(C)欧拉图； (D) 平面图.二、填空题：本大题共5小题，每小题4分，共206. 设集合A ={∅,{a }}，则A 的幂集P (A )=7. 设集合A ={1,2,3,4 }, B ={6,8,12}, A 到B 的关系R ＝},,2,{B y A x x y y x ∈∈=><,那么R －1＝8. 在“同学，老乡，亲戚，朋友”四个关系中_______是等价关系.9. 写出一个不含“→”的逻辑联结词的完备集 .10.设X ＝{a ,b ,c }，R 是X 上的二元关系，其关系矩阵为 M R ＝⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001001101，那么R 的关系图为三、证明题（共30分）11. （10分）已知A 、B 、C 是三个集合，证明A ∩(B ∪C)=(A ∩B)∪(A ∩C)12. （10分）构造证明：(P →(Q →S))∧(⌝R ∨P)∧Q ⇒R →S13.（10分）证明（0,1）与[0,1)，[0,1)与[0,1]等势。
- 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.6设A 、7.设R 8.9.设集合 R 1?R 2 R 1210.11设A ∩13.14.设一阶逻辑公式G=?xP(x)??xQ(x)，则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 ＝_____________________________________________________,
R 2＝______________________________________________________.
二、选择题
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的子集B={2,3,4,5},则元素6为B的()。
(A)
4
(A)
5设I
(A)?
6.
7.设G、
(A)
8
(A)G
9设A,B
(A)A
10
(A)
11
12命题?
(A)
(C)
13.设G
(A)9
15.设图
三、计算证明题
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 0 0 1 1
试求(1)P(a,f(a))∧P(b,f(b));
(2)?x?yP(y,x).
5.设集合
(1)
(2)
(3)
6.
7.(9分)
9.设R
(1)
(2)
11.
13.设R
{(a,b),(b,
(1)
(2)
2n.
2.2
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.
17.
1.
5.
1.
(1)
1. 2.
(1)
3.(1)??
(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.(1)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?yP(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.(1)
(2)
(3)B
6.G=?(P
=?(?
=(P
=(P
=(P
=(P
=m3
7.G=(?xP
=?(?
=(??
=(?x?
=?x?
9.(1)r(R)
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)关系图:
11.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)
＝m6∨m3∨m7
＝?(3,6,7)
G,H的主析取范式相同，所以G=H.
13.(1)
⎥
⎤
⎢
⎡0
1
1
R
M
⎥
⎤
⎢
⎡0
1
(2)
R∪S
R－1
S－1?
四证明题
2.设A,B
3.(本题
4.(本题
A－
1.
1.证明：
(1)P
(2)?R
(3)P
(4)?R
(5)?Q→R Q(4)
(6)R→S P
(7)?Q→S Q(5)(6)
(8)Q∨S Q(7)
2.证明：(A-B)-C=(A∩~B)∩~C
=A∩(~B∩~C)
=A∩~(B∪C)
=A-(B∪C)
3. 证明：{?A∨B,?C→?B,C→D}蕴涵A→D
(1)A D(附加)
(2)?A∨B P
(3)B Q(1)(2)
(4)?C→?B P
(5)B→C Q(4)
(6)C
(7)C
(8)D
(9)A
所以
4.
而(A
所以：A－(A∩B)=(A∪B)－B.。