《离散数学》模拟试题3
一、填空题（每小题2分，共20分）
1. 已知集合A ={φ，1，2}，则A得幂集合p（A）=_____ _。
2. 设集合E ={a, b, c, d, e}, A= {a, b, c}, B = {a, d, e}, 则A∪B =___ ___，
A∩B =____ __，A－B =___ ___，～A∩～B =____ ____。
3. 设A，B是两个集合，其中A= {1, 2, 3}, B= {1, 2}，则A－B =____ ___，
ρ（A）－ρ（B）=_____ _ _。
4. 已知命题公式R
Q
P
G→
∧
?
=)
(，则G的析取范式为。
5. 设P：2＋2＝4，Q：3是奇数；将命题“2＋2＝4，当且仅当3是奇数。”符号化
，其真值为。
二、单项选择题（选择一个正确答案的代号填入括号中，每小题4分，共16分。）
1. 设A、B是两个集合，A＝{1,3,4}，B＝{1,2}，则A－B为（）.
A.{1}
B. {1, 3}
C. {3,4}
D. {1,2}
2. 下列式子中正确的有（）。
A. φ＝0
B. φ∈{φ}
C. φ∈{a,b}
D. φ∈φ
3. 设集合X＝{x, y}，则ρ（X）＝（）。
A. {{x},{y}}
B. {φ,{x},{y}}
C. {φ,{x},{y},{x, y}}
D. {{x},{y},{x, y}}
4. 设集合A＝{1,2,3}，A上的关系R＝{(1,1),(2,2),(2,3),(3,3),(3,2)}，
则R不具备（）.
三、计算题（共50分）
1. （6分）设全集E＝N，有下列子集：A＝{1，2，8，10}，B＝{n|n2<50 ，n∈N}，C＝
{n|n可以被3整除，且n<20 ，n∈N}，D＝{n|2i，i<6且i、n∈N}，求下列集合：（1）A∪(C∩D) （2）A∩(B∪(C∩D))
（3）B－(A∩C) （4）(～A∩B) ∪D
2. （6分）设集合A＝{a, b, c}，A上二元关系R1，R2，R3分别为：R1＝A×A，
R2 ＝{(a，a)，(b，b)}，R3 ＝{(a，a)}，试分别用
定义和矩阵运算求R1·R2 ，22R，R1·R2 ·R3 ， (R1·R2 ·R3 )－1 。
3.（6分）化简等价式（﹁P∧（﹁Q∧R））∨（Q∧R）∨（P∧R）.
4.(8分) 设集合A＝{1,2,3}，R为A上的二元关系，且 M R＝
写出R的关系表达式，画出R的关系图并说明R的性质.
5. （10分）设公式G的真值表如下.
试叙述如何根据真值表求G的
主析取范式和主合取范式，并
写出G的主析取范式和主合取范式.
1 0 0 1 1 0 1 0 0
6. (8分) 设解释I 为：
（1） 定义域D ＝{-2,3,6}； （2） F （x ）: x ≤3 G （x ）: x ＞5
在解释I 下求公式 ? x （F(x)∨G(x)）的真值.
7. （6分） 试用克鲁斯卡尔算法求下图所示权图中的最优支撑树.要求画出
其最优支撑树，并求出权和.
四、证明题（每小题8分，共16分）
1. 设A ，B ，C 为三个任意集合，试证明： ( 8分) （1）（A －B ）－C ＝（A －C ）－(B －C ) （2）A ∪(B ∩C )＝A ∪（（B －A ）∩（A ∪C ）） （3）（A ∪（B －A ））－C ＝（A －C ）∪(B －C ) （4）（（A ∪B ∪C ）∩（A ∪B ））－（（A ∪（B －C ））∩A ）＝B －A
2. 证明下面的等价式： ( 8分) （1）（? P ∧（? Q ∧R ））∨（Q ∧R ）∨（P ∧R ）＝R （2）（P ∧（Q ∧S ））∨（? P ∧（Q ∧S ））＝（Q ∧S ） （3）P → (Q → R )＝（P ∧Q ）→ R
（4）?( P ?Q )＝（P ∧? Q ）∨（?P ∧Q ）
《离散数学》模拟试题3参考答案
一、填空题
1. {φ，{φ}，{1}，{φ，1}，{φ，2}，{1，2}，A}
2. {a ，b ，c ，d ，e }；{a }；{b ，c }；φ
3. {3}；{{3}，{1，3}，{2，3}，{1，2，3}} 4 R Q P ∨?∨. 5. P ?Q ，1
二、单项选择题
1. C
2. B
3. C
4. B
三、计算题
1. （1）A ；（2）{1}；（3）B ；（4）{2，4，8，9，16，32}
2. R 1 ·R 2 =={（a ，a ），（a ，b ），（b ，a ），（b ，b ），（c ，a ），（c ，b ）}；
2
2R ={( a ，a )，(a ，b )}；
R 1·R 2 ·R 3 = {( a ，a )，(b ，a )，(c ，a )}；
(R1·R2 ·R3)－1 = {( a，a)，(a，b)，(a，c)}；
3.解：
（﹁P∧（﹁Q∧R））∨（Q∧R）∨（P∧R）
＝（﹁P∧（﹁Q∧R））∨（（Q∨P）∧R）
＝（(﹁P∧﹁Q)∧R））∨（（Q∨P）∧R）
＝（(﹁P∧﹁Q)∨（Q∨P））∧R
＝（﹁(P∨Q)∨（P∨Q））∧R
＝1∧R
＝R
4.解：
R＝{(1,1),(2,1),(2,2),(3,1) }
其关系图如下：
R是反对称的和传递的.
5. 解：
将真值表中最后一列的1左侧的二进制数，所对应的极小项写出后，将其析取起来，就得到G的主析取范式.
于是，G＝（﹁P∧﹁Q∧﹁R）∨（﹁P∧ Q∧﹁R）∨（﹁P∧ Q∧R）∨（P∧﹁ Q∧R）.
将真值表中最后一列的0左侧的二进制数，所对应的极大项写出后，将其合取起来，就得到G的主合取范式.
于是，G＝（P∨Q∨﹁R）∧（﹁P∨ Q∨R）∧（﹁P∨﹁Q∨R）∧（﹁P∨﹁ Q∨﹁R）.
6. 解：
? x ( F(x) ∨G(x))
? ( F(-2) ∨G(-2)) ∨ ( F(3) ∨G(3)) ∨ ( F(6) ∨G(6))
?(1∨0) ∨(1∨0) ∨(0∨1)
? 1
7. 解：
下图的粗线条为该权图的最优支撑树，5条边.
权和为2+2+3+3+5＝15.
四、证明题
1.（1）
左边＝（A－B）∩～C＝A∩～B∩～C
右边＝（A∩～C）∩～（B∩～C）
＝（A∩～C）∩（～B∪C）
＝（A∩～C∩～B）∪（A∩～C∩C）
＝（A∩～B∩～C）∪0
＝A∩～B∩～C
＝左边
（2）
左边＝（A∪B）∩（A∪C）
右边＝A∪（（B∩～A）∩（A∪C））
＝A∪（（B∩～A∩A）∪（B∩～A∩C））
＝A∪（B∩～A∩C）
＝（A∪B）∩（A∪～A）∩（A∪C）
＝（A∪B）∩（A∪C）
＝左边
（3）
左边＝（A∪（B∩～A））∩～C
＝（（A∪B）∩（A∪～A））∩～C
＝（A∪B）∩～C
＝（A∩～C）∪（B∩～C）
＝(A－C) ∪（B－C）
＝右边
（4）
左边＝（A∪B）－A
＝（A∪B）∩～A
＝（A∩～A）∩（B∩～A）
＝B－A
＝右边
2.（1）（?P∧（?Q∧R））∨（Q∧R）∨（P∧R）
＝（?P∧（?Q∧R））∨（（Q∨P）∧R）
＝（（?P∧?Q）∧R）∨（（Q∨P）∧R）
＝（（?P∧? Q）∨（Q∨P））∧R
＝（?（P∨Q）∨（Q∨P））∧R
＝1∧R
＝R
（2）（P∧（Q∧S））∨（?P∧（Q∧S））
＝（（Q∧S）∧P）∨（（Q∧S）∧?P）
＝（Q∧S）∧（P∨?P）
＝（Q∧S）∧1
＝Q∧S
（3）P→ (Q→R)
＝? P∨（? Q∨R）
＝（? P∨? Q）∨R
＝?（P∧Q）∨R
＝（P∧Q）→ R
（4）?(P?Q)
＝?（（P→ Q）∧（Q→P））
＝?（（? P∨Q）∧（? Q∨P））
＝?（? P∨Q）∨?（? Q∨P）
＝（?（? P）∧? Q）∨（?（? Q）∧?P）
＝（P∧? Q）∨（Q∧?P）
＝（P∧? Q）∨（?P∧Q）
离散数学（第五版）清华大学出版社第2章习题解答 2.1 本题没有给出个体域,因而使用全总个体域. (1) 令F(x):x是鸟 G(x):x会飞翔. 命题符号化为 ?x(F(x)→G(x)). (2)令F(x):x为人. G(x):x爱吃糖 命题符号化为 ??x(F(x)→G(x)) 或者 ?x(F(x)∧?G(x)) (3)令F(x):x为人. G(x):x爱看小说. 命题符号化为 ?x(F(x)∧G(x)). (4) F(x):x为人. G(x):x爱看电视. 命题符号化为 ??x(F(x)∧?G(x)). 分析1°如果没指出要求什么样的个体域，就使用全总个休域，使用全总个体域时，往往要使用特性谓词。（1）-（4）中的F(x)都是特性谓词。 2°初学者经常犯的错误是，将类似于（1）中的命题符号化为 27 ?x(F(x)∧G(x)) 即用合取联结词取代蕴含联结词，这是万万不可的。将（1）中命题叙述得更透彻些，是说“对于宇宙间的一切事物百言，如果它是鸟，则它会飞翔。”因而符号化应该使用联结词→而不能使用∧。若使用∧，使（1）中命题变成了“宇宙间的一切事物都是鸟并且都会飞翔。”这显然改变了原命题的意义。
3°（2）与（4）中两种符号化公式是等值的，请读者正确的使用量词否定等值式，证明（2），（4）中两公式各为等值的。 2.2 (1)d (a),(b),(c)中均符号化为 ?xF(x) 其中F(x):(x+1)2=x2+2x+1,此命题在(a),(b),(c)中均为真命题。 （2）在(a),(b),(c)中均符号化为 ?xG(x) 其中G(x):x+2=0，此命题在（a）中为假命题，在(b)(c)中均为真命题。 （3）在(a),(b),(c)中均符号化为 ?xH(x) 其中H(x):5x=1.此命题在(a),(b)中均为假命题，在(c)中为真命题。 分析1°命题的真值与个体域有关。 2°有的命题在不同个体域中，符号化的形式不同，考虑命题 “人都呼吸”。 在个体域为人类集合时，应符号化为 ?xF(x) 这里，F(x):x呼吸，没有引入特性谓词。 在个体域为全总个体域时，应符号化为 ?x(F(x)→G(x)) 这里，F(x):x为人，且F(x)为特性谓词。G(x):x呼吸。 28 2．3 因题目中未给出个体域，因而应采用全总个体域。 （1）令：F(x):x是大学生，G(x):x是文科生，H(x):x是理科生，命题符号化为?x(F(x)→(G(x)∨H(x)) （2）令F(x):x是人，G(y):y是化，H(x):x喜欢，命题符号化为 ?x(F(x)∧?y(G(y)→H(x,y))) （3）令F(x):x是人，G(x):x犯错误，命题符号化为 ??x(F(x)∧?G(x)), 或另一种等值的形式为 ?x(F(x)→G(x)
离散数学考试（试题及答案） 一、（10分）某项工作需要派A、B、C和D4个人中的2个人去完成，按下面3个条件，有几种派法？如何派？ (1)若A去，则C和D中要去1个人； (2)B和C不能都去； (3)若C去，则D留下。 解设A：A去工作；B：B去工作；C：C去工作；D：D去工作。则根据题意应有：ACD，(B∧C)，CD必须同时成立。因此 (ACD)∧(B∧C)∧(CD) (A∨(C∧ D)∨(C∧D))∧(B∨C)∧(C∨D) (A∨(C∧ D)∨(C∧D))∧((B∧C)∨(B∧D)∨C∨(C∧D)) (A∧B∧C)∨(A∧B∧D)∨(A∧C)∨(A∧C∧D) ∨(C∧D∧B∧C)∨(C∧D∧B∧D)∨(C∧D∧C)∨(C∧ D∧C∧D) ∨(C∧D∧B∧C)∨(C∧D∧B∧D)∨(C∧D∧C)∨(C∧D F∨F∨(A∧C)∨F∨F∨(C∧ D∧B)∨F∨F∨(C∧D∧B)∨F∨(C∧D)∨F (A∧C)∨(B∧C∧ D)∨(C∧D∧B)∨(C∧D) (A∧C)∨(B∧C∧ D)∨(C∧D) T 故有三种派法：B∧D，A∧C，A∧D。 二、（15分）在谓词逻辑中构造下面推理的证明：某学术会议的每个成员都是专家并且是工人，有些成员是青年人，所以，有些成员是青年专家。 解：论域：所有人的集合。()：是专家；()：是工人；()：是青年人；则推理化形式为： (()∧())，()(()∧())
下面给出证明： (1)() P (2)(c) T(1)，ES (3)(()∧()) P (4)( c)∧( c) T(3)，US (5)( c) T(4)，I (6)( c)∧(c) T(2)(5)，I (7)(()∧()) T(6) ，EG 三、（10分）设A、B和C是三个集合，则AB(BA)。 证明：ABx(x∈A→x∈B)∧x(x∈B∧xA)x(xA∨x∈B)∧x(x∈B∧xA) x(x∈A∧xB)∧x(xB∨x∈A)x(x∈A∧xB)∨x(x∈A∨xB) (x(x∈A∧xB)∧x(x∈A∨xB))(x(x∈A∧xB)∧x(x∈B→x∈A)) (BA)。 四、（15分）设A＝{1，2，3，4，5}，R是A上的二元关系，且R＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>}，求r(R)、s(R)和t(R)。 解 r(R)＝R∪I A＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>，<1，1>，<2，2>，<3，3>，<4，4>，<5，5>} s(R)＝R∪R－1＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>， <5，2>，<1，2>，<4，2>，<4，3>} R2＝{<2，2>，<2，4>，<3，4>，<4，4>，<5，1>，<5，5>，<5，4>} R3＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>，<5，4>} R4＝{<2，2>，<2，4>，<3，4>，<4，4>，<5，1>，<5，5>，<5，4>}＝R2 t(R)＝R i＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>，<2，2>，<5，1>，<5，4>，<5，5>}。
《离散数学》模拟试题3 一、填空题（每小题2分，共20分） 1. 已知集合A ={φ，1，2}，则A得幂集合p（A）=_____ _。 2. 设集合E ={a, b, c, d, e}, A= {a, b, c}, B = {a, d, e}, 则A∪B =___ ___， A∩B =____ __，A－B =___ ___，～A∩～B =____ ____。 3. 设A，B是两个集合，其中A= {1, 2, 3}, B= {1, 2}，则A－B =____ ___， ρ（A）－ρ（B）=_____ _ _。 4. 已知命题公式R Q P G→ ∧ ? =) (，则G的析取范式为。 5. 设P：2＋2＝4，Q：3是奇数；将命题“2＋2＝4，当且仅当3是奇数。”符号化 ，其真值为。 二、单项选择题（选择一个正确答案的代号填入括号中，每小题4分，共16分。） 1. 设A、B是两个集合，A＝{1,3,4}，B＝{1,2}，则A－B为（）. A.{1} B. {1, 3} C. {3,4} D. {1,2} 2. 下列式子中正确的有（）。 A. φ＝0 B. φ∈{φ} C. φ∈{a,b} D. φ∈φ 3. 设集合X＝{x, y}，则ρ（X）＝（）。 A. {{x},{y}} B. {φ,{x},{y}} C. {φ,{x},{y},{x, y}} D. {{x},{y},{x, y}} 4. 设集合A＝{1,2,3}，A上的关系R＝{(1,1),(2,2),(2,3),(3,3),(3,2)}， 则R不具备（）. 三、计算题（共50分） 1. （6分）设全集E＝N，有下列子集：A＝{1，2，8，10}，B＝{n|n2<50 ，n∈N}，C＝ {n|n可以被3整除，且n<20 ，n∈N}，D＝{n|2i，i<6且i、n∈N}，求下列集合：（1）A∪(C∩D) （2）A∩(B∪(C∩D)) （3）B－(A∩C) （4）(～A∩B) ∪D 2. （6分）设集合A＝{a, b, c}，A上二元关系R1，R2，R3分别为：R1＝A×A， R2 ＝{(a，a)，(b，b)}，R3 ＝{(a，a)}，试分别用 定义和矩阵运算求R1·R2 ，22R，R1·R2 ·R3 ， (R1·R2 ·R3 )－1 。 3.（6分）化简等价式（﹁P∧（﹁Q∧R））∨（Q∧R）∨（P∧R）. 4.(8分) 设集合A＝{1,2,3}，R为A上的二元关系，且 M R＝ 写出R的关系表达式，画出R的关系图并说明R的性质. 5. （10分）设公式G的真值表如下. 试叙述如何根据真值表求G的 主析取范式和主合取范式，并 写出G的主析取范式和主合取范式. 1 0 0 1 1 0 1 0 0
习题参考答案 1、设无向图G有16条边，有3个4度结点，4个3度结点，其余结点的度数均小于3，问：G中至少有几个结点。 阮允准同学提供答案: 解：设度数小于3的结点有x个，则有 3×4＋4×3＋2x≥2×16 解得：x≥4 所以度数小于3的结点至少有4个 所以G至少有11个结点 2、设无向图G有9个结点，每个结点的度数不是5就是6，证明：G中至少有5个6度结点或至少有6个5度结点。 阮允准同学答案： 证明：由题意可知：度数为5的结点数只能是0,2，4,6，8。 若度数为5的结点数为0,2，4个，则度数为6的结点数为9，7,5个结论成立。 若度数为5的结点数为6,8个，结论显然成立。 由上可知，G中至少有5个6度点或至少有6个5度点。 3、证明：简单图的最大度小于结点数。
阮同学认为题中应指定是无向简单图. 晓津证明如下：设简单图有n个结点，某结点的度为最大度，因为简单图任一结点没有平行边，而任一结点的的边必连有另一结点，则其最多有n-1条边与其他结点相连，因此其度数最多只有n-1条，小于结点数n. 4、设图G有n个结点，n+1条边，证明：G中至少有一个结点度数≥3 。阮同学给出证明如下： 证明：设G中所有结点的度数都小于3，即每个结点度数都小于等于2，则所有结点度数之和小于等于2n，所以G的边数必小于等于n，这和已知G有n+1条边相矛盾。所以结论成立。 5、试证明下图中两个图不同构。 晓津证明：同构的充要条件是两图的结点和边分别存在一一对应且保持关联关系。我们可以看出，(a)图和(b)图中都有一个三度结点，(a)图中三度结点的某条边关联着两个一度结点和一个二度结点，而(b)图中三度结点关联着两个二度结点和一个一度结点，因此可断定二图不是同构的。 6、画出所有5个结点3条边，以及5个结点7条边的简单图。 解：如下图所示：(晓津与阮同学答案一致)
1 离散数学模拟试题Ⅰ 一、单项选择题(本大题共15小题,每题1分,共15分)在每小题列出的四个备选项中只有一个就是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分 1.设 }16{2<=x x x A 是整数且,下面哪个命题为假( A )。 A 、A ?}4,2,1,0{; B 、A ?---}1,2,3{; C 、A ?Φ; D 、A x x x ?<}4{是整数且。 2.设}}{,{,ΦΦ=Φ=B A ,则B －A 就是( C )。 A 、}}{{Φ; B 、}{Φ; C 、}}{,{ΦΦ; D 、Φ。 3.右图描述的偏序集中,子集},,{f e b 的上界为 ( B )。 A 、b,c; B 、a,b; C 、b; D 、a,b,c 。 4.设f 与g 都就是X 上的双射函数,则1)(-g f ο为( C )。 A 、11--g f ο; B 、1)(-f g ο; C 、11--f g ο; D 、1-f g ο。 5.下面集合( B )关于减法运算就是封闭的。 A 、N ; B 、}2{I x x ∈; C 、}12{I x x ∈+; D 、}{是质数x x 。 6.具有如下定义的代数系统>*<,G ,( D )不构成群。 A 、G={1,10},*就是模11乘 ; B 、G={1,3,4,5,9},*就是模11乘 ; C 、G=Q(有理数集),*就是普通加法; D 、G=Q(有理数集),*就是普通乘法。 7.设 },32{I n m G n m ∈?=,*为普通乘法。则代数系统>*<,G 的幺元为( B )。 f
2 A 、不存在 ; B 、0032?=e ; C 、32?=e ; D 、1132--?=e 。 8.下面集合( C )关于整除关系构成格。 A 、{2,3,6,12,24,36} ; B 、{1,2,3,4,6,8,12} ; C 、{1,2,3,5,6,15,30} ; D 、{3,6,9,12}。 9.设},,,,,{f e d c b a V =, },,,,,,,,,,,{><><><><><><=e f e d d a a c c b b a E ,则有向图 >= 离散数学（第五版）清华大学出版社第1章习题解答 1．1 除（3），（4），（5），（11）外全是命题，其中，（1），（2），（8），（9），（10），（14），（15）是简单命题，（6），（7），（12），（13）是复合命题。 分析首先应注意到，命题是陈述句，因而不是陈述句的句子都不是命题。 本题中，（3）为疑问句，（5）为感叹句，（11）为祈使句，它们都不是陈述句，所以它们都不是命题。 其次，4）这个句子是陈述句，但它表示的判断结果是不确定。又因为（1），（2），（8），（9），（10），（14），（15）都是简单的陈述句，因而作为命题，它们 都是简单命题。（6）和（7）各为由联结词“当且仅当”联结起来的复合命题，（12）是由联结词“或”联结的复合命题，而（13）是由联结词“且”联结起来 的复合命题。这里的“且”为“合取”联结词。在日常生活中，合取联结词有许 多表述法，例如，“虽然……，但是……”、“不仅……，而且……”、“一面……，一面……”、“……和……”、“……与……”等。但要注意，有时“和”或“与” 联结的是主语，构成简单命题。例如，（14）、（15）中的“与”与“和”是联结 的主语，这两个命题均为简单命题，而不是复合命题，希望读者在遇到“和”或“与”出现的命题时，要根据命题所陈述的含义加以区分。 1．2 （1）p: 2是无理数，p为真命题。 （2）p:5能被2整除，p为假命题。 （6）p→ｑ。其中，p:2是素数，q：三角形有三条边。由于p与q都是真 命题，因而p→ｑ为假命题。 （7）p→ｑ，其中，p：雪是黑色的，q：太阳从东方升起。由于p为假命 题，q为真命题，因而p→ｑ为假命题。 （8）p:2000年10月1日天气晴好，今日（1999年2月13日）我们还不 知道p的真假，但p的真值是确定的（客观存在的），只是现在不知道而已。（9）p：太阳系外的星球上的生物。它的真值情况而定，是确定的。 1 （10）p：小李在宿舍里. p的真值则具体情况而定，是确定的。 （12）p∨q，其中，p:4是偶数，q:4是奇数。由于q是假命题，所以，q 为假命题，p∨q为真命题。 《离散数学》模拟题（补） 一．单项选择题 1．下面四组数能构成无向图的度数列的有( )。 A、 2,3,4,5,6,7； B、 1,2,2,3,4； C、 2,1,1,1,2； D、 3,3,5,6,0。 2．图的邻接矩阵为( )。 A、； B、； C、； D、。 3.设S1={1，2，…，8，9}，S2={2，4，6，8}，S3={1，3，5，7，9}，S4={3，4，5}，S5={3，5}，在条件下X与（）集合相等。 A、X=S2或S5 ； B、X=S4或S5； C、X=S1，S2或S4； D、X与S1，…，S5中任何集合都不等。 4．下列图中是欧拉图的有( )。 5.下述命题公式中，是重言式的为（）。 A、； B、； C、； D、。 6.的主析取范式中含极小项的个数为（）。 A 、2； B、 3； C、5； D、0 ?? ? ? ? ? ? ? ? 1 1 1 1 1 1 1 ?? ? ? ? ? ? ? ? 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ?? ? ? ? ? ? ? ? 1 1 1 1 1 1 1 ?? ? ? ? ? ? ? ? 1 1 1 1 1 1 1 3 1 S X S X? ?且 ) ( ) (q p q p∨ → ∧)) ( )) (( ) (p q q p q p→ ∧ → ? ? q q p∧ → ?) (q p p? ? ∧) ( r q p wff→ ∧ ?) ( 7.给定推理 ① P ② US ① ③ P ④ ES ③ ⑤ T ②④I ⑥ UG ⑤ 推理过程中错在（ ）。 A 、①->②; B 、②->③; C 、③->④; D 、④->⑤ 8.设S 1={1，2，…，8，9}，S 2={2，4，6，8}，S 3={1，3，5，7，9}，S 4={3，4，5}， S 5={3，5}，在条件 下X 与（ ）集合相等。 A 、X=S 2或S 5 ； B 、X=S 4或S 5； C 、X=S 1，S 2或S 4； D 、X 与S 1，…，S 5中任何集合都不等。 9.设R 和S 是P 上的关系，P 是所有人的集合， ， 则表示关系 （ ） 。 A 、； B 、 ； C 、 ； D 、 。 10.下面函数（ ）是单射而非满射。 A 、 ； B 、 ； C 、 ； D 、。 ))()((x G x F x →?)()(y G y F →)(x xF ?)(y F )(y G )(x xG ?)())()((x xG x G x F x ??→?∴3 1S X S X ??且},|,{的父亲是y x P y x y x R ∧∈><=},|,{的母亲是y x P y x y x S ∧∈><=R S 1-},|,{的丈夫是y x P y x y x ∧∈><},|,{的孙子或孙女是y x P y x y x ∧∈><Φ},|,{的祖父或祖母是y x P y x y x ∧∈><12)(,:2-+-=→x x x f R R f x x f R Z f ln )(,:=→+的最大整数表示不大于x x x x f Z R f ][],[)(, :=→12)(,:+=→x x f R R f 第四章部分课后习题参考答案 3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值: (1) 对于任意x,均有2=(x+)(x). (2) 存在x,使得x+5=9. 其中(a)个体域为自然数集合. (b)个体域为实数集合. 解： F(x): 2=(x+)(x). G(x): x+5=9. (1)在两个个体域中都解释为)(x ?，在（a）中为假命题，在 xF (b)中为真命题。 (2)在两个个体域中都解释为)(x ?，在（a）(b)中均为真命 xG 题。 4. 在一阶逻辑中将下列命题符号化: (1) 没有不能表示成分数的有理数. (2) 在卖菜的人不全是外地人. 解: (1)F(x): x能表示成分数 H(x): x是有理数 命题符号化为: )) F x∧ x ?? ? ) ( H ( (x (2)F(x): x是卖菜的人 H(x): x是外地人 命题符号化为: )) F ?? x x→ (x ( H ) ( 5. 在一阶逻辑将下列命题符号化: (1) 火车都比轮船快. (3) 不存在比所有火车都快的汽车. 解: (1)F(x): x是火车; G(x): x是轮船; H(x,y): x比y快 命题符号化为: )) F y x G ? y ? ∧ x→ ( ( )) ( H ) x ((y , (2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快 命题符号化为: ))) x F x y G ∧ ? H ?? y→ ) ( , x ( ( ( (y ) 9.给定解释I如下: (a) 个体域D为实数集合R. (b) D中特定元素=0. (c) 特定函数(x,y)=x y,x,y D ∈. (d) 特定谓词(x,y):x=y,(x,y):x 北京语言大学网络教育学院 《离散数学》模拟试卷五 注意： 1.试卷保密，考生不得将试卷带出考场或撕页，否则成绩作废。请监考老师负责监督。 2.请各位考生注意考试纪律，考试作弊全部成绩以零分计算。 3.本试卷满分100分，答题时间为90分钟。 4.本试卷分为试题卷和答题卷，所有答案必须答在答题卷上，答在试题卷上不给分。 一、【单项选择题】(本大题共15小题，每小题3分，共45分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在答题卷相应题号处。 1、下列关于群说法不正确的是（ ）。 [A] G的每个元素的逆元都是唯一的 [B] 无零元 [C] 必须有单位元 [D] 是不可结合的 2、下列不是群的是（ ）。 [A] [B] [C] [D] 3、下列说法中正确的是（ ）。 [A] 设a,b,c是阿贝尔群的元素，则有-(a+b+c)=(-a)+(-b)+(-c) [B] 设a,b是群的元素，则对于，有 [C] 设a，b是群的元素，则对于任意，有 [D] 设a是群的元素，记，则是的子群 4、下列集合关于所给定的运算成为群的是（ ）。 [A] 已给实数a的正整数次幂的全体，且a{0，1，-1}，关于数的乘法 [B] 所有非负整数的集合，关于数的加法 [C] 所有正有理数的集合，关于数的乘法 [D] 实数集，关于数的除法 5、半群、群及独异点的关系是（ ）。 [A] {群}{独异点}{半群} [B] {独异点}{半群}{群} [C] {独异点}{群}{半群} [D] {半群}{群}{独异点} 6、设是群，则对任意的，下列关于群的性质中不正确的是（ ）。 [A] 方程 有唯一解 [B] 方程 有唯一解 [C] 如果 ,则有 [D] 7、下列关于格说法不正确的是（ ）。 [A] 是格 [B] 设是格中的元素，则有 [C] 设集合，则是格 [D] 设是布尔代数，则是格 8、下列不是格的是（ ）。 [A] [B] [C] [D] 9、下列关于布尔代数说法不正确的是（ ）。 [A] 设集合，L上的偏序关系，则是格 [B] 设集合是布尔代数，则对任意有 北京语言大学网络教育学院 《离散数学》模拟试卷一 注意： 1.试卷保密，考生不得将试卷带出考场或撕页，否则成绩作废。请监考老师负责监督。 2.请各位考生注意考试纪律，考试作弊全部成绩以零分计算。 3.本试卷满分100分，答题时间为90分钟。 4.本试卷分为试题卷和答题卷，所有答案必须答在答题卷上，答在试题卷上不给分。 一、【单项选择题】(本大题共15小题，每小题3分，共45分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在答题卷相应题号处。 1、在由3个元素组成的集合上，可以有 ( ) 种不同的关系。 [A] 3 [B] 8 [C]9 [D]27 2、设{}{}1,2,3,5,8,1,2,5,7A B A B ==-=,则（ ）。 [A] 3,8 [B]{}3 [C]{}8 [D]{}3,8 3、若X 是Y 的子集，则一定有（ ）。 [A]X 不属于Y [B]X ∈Y [C]X 真包含于 Y [D]X∩Y=X 4、下列关系中是等价关系的是（ ）。 [A]不等关系 [B]空关系 [C]全关系 [D]偏序关系 5、对于一个从集合A 到集合B 的映射，下列表述中错误的是（ ）。 [A]对A 的每个元素都要有象 [B] 对A 的每个元素都只有一个象 [C]对B 的每个元素都有原象 [D] 对B 的元素可以有不止一个原象 6、设p:小李努力学习，q:小李取得好成绩，命题“除非小李努力学习，否则他不能取得好成绩”的符号化形式为（ ）。 [A]p→q [B]q→p [C]┐q→┐p [D]┐p→q 7、设A={a,b,c},则A 到A 的双射共有（ ）。 [A]3个 [B]6个 [C]8个 [D]9个 离散数学（第五版）清华大学出版社第1章习题解答1．1除（3），（4），（5），（11）外全是命题，其中，（1），（2），（8），（9），（10），（14），（15）是简单命题，（6），（7），（12），（13）是复合命题。 分析首先应注意到，命题是陈述句，因而不是陈述句的句子都不是命题。 本题中，（3）为疑问句，（5）为感叹句，（11）为祈使句，它们都不是陈述句，所以它们都不是命题。 其次，4）这个句子是陈述句，但它表示的判断结果是不确定。又因为（1），（2），（8），（9），（10），（14），（15）都是简单的陈述句，因而作为命题，它们都是简单命题。（6）和（7）各为由联结词“当且仅当”联结起来的复合命题，（12）是由联结词“或”联结的复合命题，而（13）是由联结词“且”联结起来的复合命题。这里的“且”为“合取”联结词。在日常生活中，合取联结词有许多表述法，例如，“虽然……，但是……”、“不仅……，而且……”、“一面……，一面……”、“……和……”、“……与……”等。但要注意，有时“和”或“与” 联结的是主语，构成简单命题。例如，（14）、（15）中的“与”与“和”是联结的主语，这两个命题均为简单命题，而不是复合命题，希望读者在遇到“和”或“与”出现的命题时，要根据命题所陈述的含义加以区分。 1．2（1）p:2是无理数，p为真命题。 （2）p:5能被2整除，p为假命题。 （6）p→q。其中，p:2是素数，q：三角形有三条边。由于p与q都是真命题，因而p→q为假命题。 （7）p→q，其中，p：雪是黑色的，q：太阳从东方升起。由于p为假命可编辑范本 题，q为真命题，因而p→q为假命题。 （8）p:2000年10月1日天气晴好，今日（1999年2月13日）我们还不知道p的真假，但p的真值是确定的（客观存在的），只是现在不知道而已。 离散数学习题详细答案 ————————————————————————————————作者：————————————————————————————————日期： 离散数学习题答案 习题一及答案：（P14-15） 14、将下列命题符号化： （5）李辛与李末是兄弟 解：设p ：李辛与李末是兄弟，则命题符号化的结果是p （6）王强与刘威都学过法语 解：设p ：王强学过法语；q ：刘威学过法语；则命题符号化的结果是 p q ∧ （9）只有天下大雨，他才乘班车上班 解：设p ：天下大雨；q ：他乘班车上班；则命题符号化的结果是q p → （11）下雪路滑，他迟到了 解：设p ：下雪；q ：路滑；r ：他迟到了；则命题符号化的结果是()p q r ∧→ 15、设p ：2+3=5. q ：大熊猫产在中国. r ：太阳从西方升起. 求下列复合命题的真值： （4）()(())p q r p q r ∧∧???∨?→ 解：p=1，q=1，r=0， ()(110)1p q r ∧∧??∧∧??， (())((11)0)(00)1p q r ?∨?→??∨?→?→? ()(())111p q r p q r ∴∧∧???∨?→??? 19、用真值表判断下列公式的类型： （2）()p p q →?→? 解：列出公式的真值表，如下所示： p q p ? q ? ()p p →? ()p p q →?→? 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 由真值表可以看出公式有3个成真赋值，故公式是非重言式的可满足式。 20、求下列公式的成真赋值： 一、判断正误20% （每小题2分） 1、设A.B. C是任意三个集合。 （1）若A∈B且B?C，则A?C。（） （2）若A?B且B∈C，则A?C。（） （3）若A?B且B∈C，则A?C。（） （4）A) ( ) ( ) (C A B A C B ⊕ = ⊕。（） （5）(A–B)?C=(A?C)-(B?C)。（） 2、可能有某种关系，既不是自反的，也不是反自反的。（） ３、若两图结点数相同，边数相等，度数相同的结点数目相等，则两图是同构的。（） ４、一个图是平面图，当且仅当它包含与Ｋ 3， 3 或Ｋ 5 在２度结点内同构的子图。（） ５、代数系统中一个元素的左逆元并一定等于该元素的右逆元。（） ６、群是每个元素都有逆元的半群。（） 二、8% 将谓词公式)) , ( ) ( ) ( ) (( )) , ( ) ( )( (z y Q z y P y y x Q x P x? ∧ ? → → ?化为前束析取范式与前束合取范式。 三、8% 设集合Ａ＝{a,b,c,d}上的关系Ｒ＝{ 五、10% 证明：若图Ｇ是不连通的，则Ｇ的补图G 是连通的。 六、10% 证明：循环群的任何子群必定也是循环群。 七、12% 用ＣＰ规则证明： １．F A F E D D C B A →?→∨∧→∨,。 ２．?∨??∨?(()()())()()((x P x x Q x P x )()x Q x 。 八、10% 用推理规则证明下式： 前提: ))()()(()),()()(())()()(((y W y M y y W y M y x S x F x ?∧?→?→∧? 结论：?→?)()((x F x S ))(x 九、13% 若集合Ｘ＝｛（１，２），（３，４），（５，６），……｝ }|,,,{12212211y x y x y x y x R +=+>><><<= 1、证明R 是X 上的等价关系。 2、求出X 关于R 的商集。 一、 填空 20%（每小题2分） 离散数学（第五版）清华大学出版社第6章习题解答 6.1 A:⑨; B:⑨; C:④; D:⑥; E:③ 分析对于给定的集合和运算判别它们是否构成代数系统的关键是检查集合对 给定运算的封闭性,具体方法已在 5.3节做过说明. 下面分别讨论对各种不同代数系纺的判别方法. 1°给定集合S和二元运算°,判定 离散数学（第五版）清华大学出版社第7章习题解答 7.1 (1),(2),(3),(5)都能构成无向图的度数列,其中除(5)外又都能构成无向简单图的度数列. 分析1°非负整数列d,d ,L,d 能构成无向图的度数列当且仅当n di为 1 2n∑ i=1偶数,即d1,d2,L,dn中的奇数为偶数个.（1）,(2),(3),(5)中分别有4个,0个,4个,4 个奇数,所以,它们都能构成无向图的度数列,当然,所对应的无向图很可能是非简 单图.而(4)中有 3 个奇数,因而它不能构成无向图度数列.否则就违背了握手定理的推论. 2°(5) 虽然能构成无向图的度数列,但不能构成无向简单度数列.否则,若存在无向简单图G,以1,3,3,3 为度数列,不妨设G 中顶点为v1,v2,v3,v4,且d(vi)=1,于是d(v2)=d(v3)=d(v4)=3.而v1只能与v2,v3,v4之一相邻,设v1与v2相邻,这样一来,除v2能达到3度外, v3,v4都达不到3度,这是矛盾的. 在图7.5所示的4个图中,(1) 以1为度数列,(2)以2为度数列,(3)以3为度数列,(4)以4为度数列(非简单图). 7.2 设有几简单图D以2,2,3,3为度数列,对应的顶点分别为v1,v2,v3,v4,由于d(v)=d+(v)+d_(v),所示,d+(v)-d-(v)=2-0=2,d+(v )=d(v )-d-(v ) 11222=2-0=2,d+(v)=d(v)-d-(v)=3-2=1,d+(v)=d(v)-d-(v)=3-3=0 333444 81 由此可知,D 的出度列为2,2,1,0,且满足d+(v)= d-(v).请读者画出 ∑i∑ｉ 一个有向图.以2,2,3,3为度数列,且以0,0,2,3为入度列,以2,2,1,0为出度列. 7.3 D 的入度列不可能为1,1,1,1.否则,必有出度列为2,2,2,2(因为d(v)=d+(v)+d-(v)),)此时,入度列元素之和为4,不等于出度列元素之和8,这违背握手定理.类似地讨论可知,1,1,1,1也不能为D的出席列. 7.4 不能. N阶无向简单图的最大度Δ≤n-1.而这里的n个正整数彼此不同,因而这n个数不能构成无向简单图的度数列,否则所得图的最大度大于n,这与最大度应该小于等于n-1矛盾. 《离散数学》课程试题(A)卷 课程代码： 080800111 本试卷适用理学系数学与应用数学专业和信息与计算科学专业 （时量：120分钟；总分为100分） 注 意： 1、所有答案和解答均应写在答题纸上，答在试卷上不记分 2、答案必须写明题目序号，并按题号顺序答题 3、请保持行距，保持卷面整洁 一、填空题：（每题3分，本大题共24分） 1．设}4,}3{,,2{a A =，}1,4,3,}{{a B =，请在下列每对集合中填入适当的符号：?∈, 。 （1）}{a B , (2) }}3{,4,{a A 。 2．设}1,0{=A ，N 为自然数集，???=是偶数。，是奇数， ，x x x f 10)( 若A A f →： ，则f 是 射的，若A N f →： ，则f 是 射的。 3．设图G = < V ，E >中有7个结点，各结点的次数分别为2，4，4，6，5，5，2， 则G 中有 条边，根据 。 4．两个重言式的析取是 ，一个重言式和一个矛盾式的合取是 。 5．在一阶逻辑中将命题：凡对顶角都相等，符号化为_____________________。 6.集合A 有n 个元素，则A 上共有_____________________个既是对称又是反对称的的关系。 7. 连通简单无向图有17条边。则该图至少有_____________________个结点。 8. 某班有学生50人，有26人在第一次考试中得优，有21人在第二次考试中得优，有17人两次考试都没得优，那么两次考试都得优的学生的人数是_____________________。 二、单项选择题：（每小题3分，本大题共30分） 1．设}16{2<=x x x A 是整数且，下面哪个命题为假（ ） 。 A 、A ?}4,2,1,0{ ； B 、A ?---}1,2,3{ ； C 、A ?Φ ； D 、A x x x ?<}4{是整数且。 2．设}}{,{,ΦΦ=Φ=B A ，则B －A 是（ ）。 A 、}}{{Φ ； B 、}{Φ ； C 、}}{,{ΦΦ ； D 、Φ。 离散数学习题答案 习题一 1、利用逻辑联结词把下列命题翻译成符号逻辑形式 （1）他既是本片的编剧，又是导演--- P∧ Q （2）银行利率一降低，股价随之上扬--- P→ Q （3）尽管银行利率降低，股价却没有上扬--- P∧ Q （4）占据空间的、有质量而且不断变化的对象称为物质--- M ←→(S∧P∧T) （5）他今天不是乘火车去北京，就是随旅行团去了九寨沟--- P▽ Q （6）小张身体单薄，但是极少生病，并且头脑好使--- P∧ Q ∧ R （7）不识庐山真面目，只缘身在此山中--- P→ Q （解释：因为身在此山中，所以不识庐山真面目） （8）两个三角形相似，当且仅当他们的对应角相等或者对应边成比例 --- S ←→(E∨T) （9）如果一个整数能被6整除，那么它就能被2和3整除。如果一个整数能被3整除，那么它的各位数字之和也能被3整除 解：设 P –一个整数能被6整除Q –一个整数能被2整除 R –一个整数能被3整除S –一个整数各位数字之和能被3整除 翻译为：（P→（Q ∧ R））∧（R→ S） 2、判别下面各语句是否命题，如果是命题，说出它的真值 （1）BASIC语言是最完美的程序设计语言--- Y，T/F （2）这件事大概是小王干的--- N （3）x2 = 64 --- N （4）可导的实函数都是连续函数--- Y，T/F （5）我们要发扬连续作战的作风，再接再厉，争取更大的胜利--- N （6）客观规律是不以人们意志为转移的--- Y，T （7）到2020年，中国的国民生产总值将赶上和超过美国--- Y，N/A （8）凡事都有例外--- Y，F 3、构造下列公式的真值表，并由此判别哪些公式是永真式、矛盾式或可满足式 （1）（P∨（～P∧ Q））→ Q 解： 一、 填空 1．不能再分解的命题称为，至少包含一个联结词的命题称为。 2．一个命题公式A(P , Q, R)为真的所有真值指派是000, 001, 010, 100，则其主析取范式是，其主合取范式是。 3．设 {}，{}，{}，则( A ? B ) ⊕C ＝ 。 4．幂集 P(P(?)) ＝ 。 5．设A 为任意集合，请填入适当运算符，使式子?；’=?成立。 6．设{0，1，2，3，6}，{〈〉≠y ∧(∈A)∧y≡x( 3)}，则D(R)，R(R)。 7．称集合S 是给定非空集合A 的覆盖：若{S 1，S 2，…，}，其中?，≠?，1，2，…，n ，且 ；进一步若 ，则S 是集合A 的划分。 8．两个重言式的析取是 式，一个重言式和一个永假式的合取式是 式。 9．公式 ┐(P ∨Q) ←→(P ∧Q)的主析取范式是 。 10. 已知Π={{a}{}}是{}的一个划分，由Π决定的A 上的一个等价关系是 。 二、 证明及求解 1．求命题公式（P →Q ）→（Q ∨P ）的主析取范式。 2．推理证明题 1）?P ∨Q ，?Q ∨R ，R →S ?P →S 。 2) (?x)(P(x)→Q(y)∧R(x))，(?x)P(x)?Q(y)∧(?x)(P(x)∧R(x)) 3．设{0，1，2，3}，{〈〉∈A ∧(1∨2x )}，{〈〉∈A ∧（2）}。试求οο。 4．证明：R 是传递的?R *R ?R 。 5．设R 是A 上的二元关系，{ 专科《离散数学模拟》试题（一） 姓名______________ 学号______________ 成绩______________ 一、填空（每小题5分，共25分） 1．设}41,,3|{≤≤∈==K N k k x x A ，则用列举法表示A =_____________________。 2．设}2,{φ=A ，则A 的幂集=A 2________________________。 3．设)}1,2(),2,4(),3,1{(=ρ是A 到B 的关系，则ρ的逆关系=ρ~_______________。 4．下图G 的邻接矩阵 A =__________________________ 5．设}},3,2{,3,2{φ=A ，则=-}}3,2{{A ____________________________。 二、选择题（将正确答案的编号填入相应题目后面的括号中，每小题5分，共20分） 1．设集合}3,2,1{=A ，A 上的关系)}1,1(),1,2(),1,3(),3,2{(=ρ，则ρ是（ ）。 A ．自反的 B ．反对称的 C ．可传递的 2．设有函数Z Z Z f →?:（Z 表示非负整数集），定义为y x y x f +=),(，则f 是（ ）。 A ．满射 B ．内射 C ．双射 3．设}4,3,2,1{=A ，则A 的分划有（ ）。 A ．}}3{},4,2{),1{( B ．}}4{},3,2{{ C ．}}4{},3,2,1{{ 4．设简单图G 所有结点的度之和为12，则G 一定有（ ）。 A ．3条边 B ．4条边 C ．6条边 4 v 3v 2 v 1 v离散数学(第五版)清华大学出版社第1章习题解答
离散数学模拟题(开卷)
屈婉玲版离散数学课后习题答案
离散数学模拟试卷五
离散数学模拟试卷和答案
离散数学(第五版)清华大学出版社第
离散数学习题详细答案
离散数学试卷及答案(17)
离散数学(第五版)清华大学出版社第6章习题解答
离散数学(第五版)清华大学出版社第7章习题解答
离散数学模拟卷(简单)
离散数学习题答案-2015年
离散数学模拟题及答案
专科离散数学模拟试题(一)
相关主题
文本预览