华南理工离散数学作业题2017版
华南理工大学网络教育学院
2014–2015学年度第一学期
《离散数学》作业
（解答必须手写体上传，否则酌情扣分）
1．设命题公式为?Q∧（P→Q）→?P。
（1）求此命题公式的真值表；
（2）求此命题公式的析取范式；
（3）判断该命题公式的类型。
解：（1）真值表如下：
P Q ?Q P →Q ?Q∧（P→Q）?P ?Q∧（P→Q）→?P
0 0 1 1 1 1 1
0 1 0 1 0 1 1
1 0 1 0 0 0 1
1 1 0 1 0 0 1
（2）?Q∧（P→Q）→?P??(?Q∧(?P∨ Q)) ∨? P
?( Q∨? (?P∨ Q)) ∨? P ?? ( ?P∨ Q) ∨ (Q∨?P) ?1（析取范式）
?(?P∧? Q) ∨ (?P∧ Q) ∨ (P∧? Q) ∨（P∧ Q）（主析取范式）
（3）该公式为重言式
2．用直接证法证明
前提：P∨Q，P→R，Q→S
结论：S∨R
解：（1）?S P
(2)Q →S P
(3) ? Q (1)(2)
(4)P∨ Q P
(5)P (3)(4)
(6) P → R P
(7)R (5)(6)
(8)?S→ R （1）（7）
即SVR得证
3．在一阶逻辑中构造下面推理的证明
每个喜欢步行的人都不喜欢坐汽车。每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车。因而有的人不喜欢步行。
令F(x)：x喜欢步行。G(x)：x喜欢坐汽车。H(x)：x喜欢骑自行车。
解：前题：?x (F (x) →?G(x)), ?x (G (x) ∨H (x))
? x ?H (x)
结论:? x ?F (x)
证：（1）? x ?F (x) p
(2) ?H (x) ES(1)
(3) ?x (G (x) ∨H (x))P
(4)G(c) vH(c)US(3)
(5)G(c) T(2,4)I
(6)?x (F (x) →?G(x)), p
(7)F (c) →?G(c) US(6)
(8) ?F (c) T(5,7)I
(9)( ? x) ?F (x) EG(8)
4．用直接证法证明：
前提：（?x）（C（x）→W（x）∧R（x）），（?x）（C（x）∧Q（x））
结论：（?x）（Q（x）∧R（x））。
证：
（1）（?x）（C（x）∧Q（x））P
(2) C (c) ∧Q（c）ES(1)
(3)（?x）（C（x）→W（x）∧R（x））P
(4)（C（c）→W（c）∧R（c）US(3)
(5) C(c) T(2)I
(6) W（c）∧R（c）T(4,5)I
(7)R (c) T(6)I
(8) Q（c）T(2)I
(9) Q（c）∧R（c）T(7,8)I
(10) （ x）（Q（x）∧R（x））EG(9)
5．设R是集合A = {1, 2, 3, 4, 6, 12}上的整除关系。
(1) 给出关系R；
（2）给出COV A
（3）画出关系R的哈斯图；
（4）给出关系R的极大、极小元、最大、最小元。
解：R={<1,2>,<1,3>,<1,4>,<1,6>,<1,12>,<2,4>,<2,6>,<2,12>,<3,6>,<3,12>, <4,12>,<6,12>}UI
A
COV A={<1,2>,<1,3>,<2,4>,<2,6>,<3,6>,<4,12>,<6,12>}
作哈斯图如右：
极小元和最小元为：1
极大元和最大元为：12
6．求带权图G的最小生成树，并计算它的权值。
解：C(T)=1+2+3+1=7
.7．给定权为1，9，4，7，3；构造一颗最优二叉树。
解：1 3 4 7 9
4 4 7 9
8 7 9
15 9
24
W(T)=4*1+4*3+3*4+2*7+1*9=51
8．给定权为2，6，3，9，4；构造一颗最优二叉树。
解：2 3 4 6 9
5 4
6 9
9 15
24
W(T)=3*(2+3)+2*4+2*(6+9)=53
9、给定权为2，6，5，9，4，1；构造一颗最优二叉树。
解：1 2 4 5 6 9
3 4 5 6 9
7 5 6 9
7 11 9
11 16
27
W(T)=4*1+4*2+3*4+2*9+2*5+2*6=64
10、设字母,,,,,
a b c，
a b c d e f在通讯中出现的频率为：:30%,:25%,:20%
:10%,:10%,:5%
d e f。试给出传输这6个字母的最佳前缀码？问传输1000个字符需要多少位二进制位？
解先求传输100个字符所需要的位数。:30%,:25%,:20%
a b c，
d e f，是依照出现频率得出的个数。构造最优二叉树如下：:10%,:10%,:5%
5 10 10 20 25 30
15 10 20 25 30
25 20 25 30
25 45 30
45 55
100
需要二进制位数为10W(T)=10*{4*(5+10)+3*10+2*(20+25+30)}=2400
离散数学第二次在线作业
第二次在线作业 1.（ 2.5分）代数系统是指由集合及其上的一元或二元运算符组成的系统 ?正确 ?错误 我的答案：正确此题得分：2.5分 2.（2.5分）设< L*1*2> 是代数系统，其中是*1*2二元运算符，如果*1*2都满足交换律、结合律，并且*1和*2满足吸收律，则称< L*1*2> 是格 ?正确 ?错误 我的答案：正确此题得分：2.5分 3.（2.5分）对实数的普通加法和乘法，0是加法的幂等元，1是乘法的幂等元 ?正确 ?错误 我的答案：正确此题得分：2.5分 4.（2.5分）零元是不可逆的 ?正确 ?错误 我的答案：正确此题得分：2.5分 5.（2.5分）群中每个元素的逆元都是惟一的 ?正确 ?错误 我的答案：正确此题得分：2.5分
6.（2.5分）设abc是阿贝尔群< G+> 的元素，则-(a+b+c)=(-a)+( -b)+( -c) ?正确 ?错误 我的答案：正确此题得分：2.5分 7.（2.5分） < {01234}MAXMIN> 是格 ?正确 ?错误 我的答案：正确此题得分：2.5分 8.（2.5分）一个图的哈密尔顿路是一条通过图中所有结点一次且恰好一次的路 ?正确 ?错误 我的答案：正确此题得分：2.5分 9.（2.5分）在有向图中，结点v的出度deg+(v)表示以v为起点的边的条数，入度deg-(v)表示以v为终点的边的条数 ?正确 ?错误 我的答案：正确此题得分：2.5分 10.（2.5分）一个图的欧拉回路是一条通过图中所有边一次且恰好一次的回路 ?正确 ?错误 我的答案：正确此题得分：2.5分
11.（2.5分）不含回路的连通图是树 ?正确 ?错误 我的答案：正确此题得分：2.5分 12.（2.5分）简单图邻接矩阵主对角线上的元素全为0 ?正确 ?错误 我的答案：正确此题得分：2.5分 13.（2.5分）树一定是连通图 ?正确 ?错误 我的答案：正确此题得分：2.5分 14.（2.5分）无向图的邻接矩阵是对称阵 ?正确 ?错误 我的答案：正确此题得分：2.5分 15.（2.5分）不与任何结点相邻接的结点称为孤立结点 ?正确 ?错误 我的答案：正确此题得分：2.5分
离散数学试卷答案2017.6月
浙江农林大学暨阳学院 2016 - 2017 学年第 二 学期考试卷答案 课程名称： 离散数学 课程类别： 必修 考试方式： 闭卷 适用专业： 计算机151-152 注意事项：1、本试卷满分100分。 2、考试时间 120分钟。 一、单项选择题（在每小题的四个备选答案中，选出一个正确答案， 并将正确答案的选项填在题后的括号内。每小题2分，共8分） 1. 公式q p p ?→?→)(的类型是 ( C ) A. 重言式 B. 矛盾式 C. 非重言式的可满足式 D. 以上均不对 2. |A |=n , |B |=m , 且m , n >0, 则|B A |= ( D ) A.m 2 B. 2n C. n m D. m n 3. 集合的广义并}},{},,,{},,,{{d a d c a c b a ?= ( B ) A.},,{c b a B.},,,{d c b a C.},,{d c a D.}{a 4. f ：R→R, f (x )=-x 2+2x -1，则f 是 ( D ) A. 单射 B. 满射 C. 双射 D. 以上均不对 系（部） ： 专业班级： 姓名： 学号： 装 订 线 内 不 要 答 题
二、填空题（每小题3分，共36分） 1. 令p:吴颖用功, q:吴颖聪明，吴颖既用功又聪明符号化为__q p ∧_____ 2. 如果2 <1,则23≥的真值为___1___ 3. (q →p ) ∧q →p 的成真赋值为 ___00,01,10,11_ __ 4. (p →?q)→r ? 13567m m m m m ∨∨∨∨的成假赋值为__000,010,100_ 5. 设A 有3个命题变项, 且已知A= m 2∨m 4∨m 5∨m 6，A 的主合取范式为 ___7310M M M M A ∧∧∧= 6. 设D 为人类集合，G(x)：x 用左手写字，则一阶逻辑中命题有人用左手写字符号 化为__)(x xG ?__ _ 7. 给定解释 I 如下： (a) 个体域 D=R (b) 0a = (c) (,),(,)f x y x y g x y x y =+=? (d) (,):F x y x y = 则公式?xF (g (x ,y ),a ) 在I 下的解释为__)0(=??y x x _____ 8. R = {<1,2>, <2,3>, <1,4>, <2,2>}，S = {<1,1>, <1,3>, <2,3>, <3,2>, <3,3>}， 则S ?R = __{1,2,1,4,3,3,3,2}<><><><>__ 9. 设R={<1,2>,<1,3>,<2,2>,<2,4>,<3,2>}, 则R ?{2} = ___}4,2,2,2{><><___ 10. 设R 为A 上的关系, 则有R 的对称闭包s(R)=__ 1-?R R ____ 11. 设G=
华南理工离散数学作业题2017版
华南理工大学网络教育学院 2014–2015学年度第一学期 《离散数学》作业 （解答必须手写体上传，否则酌情扣分） 1．设命题公式为?Q∧（P→Q）→?P。 （1）求此命题公式的真值表； （2）求此命题公式的析取范式； （3）判断该命题公式的类型。 解：（1）真值表如下： P Q ?Q P →Q ?Q∧（P→Q）?P ?Q∧（P→Q）→?P 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 （2）?Q∧（P→Q）→?P??(?Q∧(?P∨ Q)) ∨? P ?( Q∨? (?P∨ Q)) ∨? P ?? ( ?P∨ Q) ∨ (Q∨?P) ?1（析取范式） ?(?P∧? Q) ∨ (?P∧ Q) ∨ (P∧? Q) ∨（P∧ Q）（主析取范式） （3）该公式为重言式 2．用直接证法证明 前提：P∨Q，P→R，Q→S 结论：S∨R 解：（1）?S P (2)Q →S P (3) ? Q (1)(2) (4)P∨ Q P
(5)P (3)(4) (6) P → R P (7)R (5)(6) (8)?S→ R （1）（7） 即SVR得证 3．在一阶逻辑中构造下面推理的证明 每个喜欢步行的人都不喜欢坐汽车。每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车。因而有的人不喜欢步行。 令F(x)：x喜欢步行。G(x)：x喜欢坐汽车。H(x)：x喜欢骑自行车。 解：前题：?x (F (x) →?G(x)), ?x (G (x) ∨H (x)) ? x ?H (x) 结论:? x ?F (x) 证：（1）? x ?F (x) p (2) ?H (x) ES(1) (3) ?x (G (x) ∨H (x))P (4)G(c) vH(c)US(3) (5)G(c) T(2,4)I (6)?x (F (x) →?G(x)), p (7)F (c) →?G(c) US(6) (8) ?F (c) T(5,7)I (9)( ? x) ?F (x) EG(8) 4．用直接证法证明： 前提：（?x）（C（x）→W（x）∧R（x）），（?x）（C（x）∧Q（x）） 结论：（?x）（Q（x）∧R（x））。 证： （1）（?x）（C（x）∧Q（x））P (2) C (c) ∧Q（c）ES(1) (3)（?x）（C（x）→W（x）∧R（x））P
《离散数学》第2次作业
一、填空题 1. 设A = {1, 2}, B = {2, 3}, 则A - A =________, A – B =________, B – A =________. 2. 设N 是自然数集合, f 和g 是N 到N 的函数, 且f (n ) = 2n +1，g (n ) = n 2, 那么复合函数(f f ) (n )=________ , (f g ) (n )=________ , (g f ) (n ) =________. 3. 设|X | = n , P (X )为集合X 的幂集, 则| P (X )| = ________. 在代数结构(P (X ), ∪)中，则P (X ) 对∪运算的单位元是________, 零元是________ . 4. 在下图中， _______________________________是其Euler 路 . 5. 设有向图G = (V , E )，V = {v 1，v 2，v 3，v 4}，若G 的邻接矩阵A =???? ??????1001001111011010, 则v 1的出度deg +(v 1) =________, v 1的入度deg -(v 1) =________, 从v 2到v 4长度为2的路有________条. 二、单选题 1. 设A = {{1, 2, 3}, {4, 5}, {6, 7, 8}}, 下列选项正确的是( ) (A) 1∈A (B) {1, 2, 3}?A (C) {{4, 5}}?A (D) ?∈A . 2．集合A = {1, 2, …, 10}上的关系R ={(x , y )|x + y = 10, x , y ∈A }, 则R 的性质是 ( ) (A) 自反的 (B) 对称的 (C) 传递的、对称的 (D) 反自反的、传递的. 3．若R 和S 是集合A 上的两个关系，则下述结论正确的是( ) (A) 若R 和S 是自反的, 则R ∩S 是自反的 (B) 若R 和S 是对称的, 则R S 是对称的 (C) 若R 和S 是反对称的, 则R S 是反对称的 (D) 若R 和S 是传递的, 则R ∪S 是传递的. 4．集合A = {1, 2, 3, 4}上的关系 R = {(1, 4), (2, 3), (3, 1), (4, 3)}, 则下列不是．．t (R )中元素的是( ) (A) (1, 1) (B) (1, 2) (C) (1, 3) (D) (1, 4). 5．设p ：我们划船，q ：我们跑步, 则有命题“我们不能既划船又跑步”符号化为( ) (A) ? p ∧? q (B) ? p ∨? q
2017离散数学答案(6--10)
04任务_0006 试卷总分：100 测试时间：0 单项选择题 一、单项选择题（共10 道试题，共100 分。） 1. 设有向图（a）、（b）、（c）与（d）如图所示，则下列结论成立的是( )． A. （a）只是弱连通的 B. （b）只是弱连通的 C. （c）只是弱连通的 D. （d）只是弱连通的 2. 设无向图G的邻接矩阵为 ， 则G的边数为( )． A. 1 B. 6 C. 7 D. 14
3. 设无向图G的邻接矩阵为，则G的边数为( )． A. 6 B. 5 C. 4 D. 3 4. 无向简单图G是棵树，当且仅当( )． A. G连通且边数比结点数少1 B. G连通且结点数比边数少1 C. G的边数比结点数少1 D. G中没有回路． 5. 图G如图三所示，以下说法正确的是 ( ) ． A. {(a, d)}是割边 B. {(a, d)}是边割集 C. {(a, d) ,(b, d)}是边割集 D. {(b, d)}是边割集 6. 若G是一个汉密尔顿图，则G一定是( )． A. 平面图
B. 对偶图 C. 欧拉图 D. 连通图 7. 设G是连通平面图，有v个结点，e条边，r个面，则r= ( )． A. e－v＋2 B. v＋e－2 C. e－v－2 D. e＋v＋2 8. 无向完全图K4是（）． A. 欧拉图 B. 汉密尔顿图 C. 非平面图 D. 树 9. 设图G＝
2013年4月考试离散数学第二次作业
2013年4月考试离散数学第二次作业 一、单项选择题（本大题共50分，共 25 小题，每小题 2 分） 1. 下列语句中为命题的是（） A. 暮春三月，江南草长. B. 这是多么可爱的风景啊！ C. 大家想做什么，就做什么，行吗？ D. 请勿践踏草地！ 2. 2.设G是n个顶点的无向简单图，则下列说法不正确的是（） A. 若G是树，则其边数等于n-1 B. 若G是欧拉图，则G中必有割边 C. 若G中有欧拉路，则G是连通图，且有零个或两个奇度数顶点 D. 若G中任意一对顶点的度数之和大于等于n-1，则G中有汉密尔顿路 3. 集合|A|=3，|B|=2，则A B上不同的函数个数为（）。 A. 3+2个 B. 32个 C. 2*3个 D. 23个 4. 设A-B=φ，则以下正确的是（）。 A. A＝B B. A?B C. B?A D. 以上都不对 5. 设R为实数集，函数f：R→R，f(x)=2x，则f是（） A. 满射函数 B. 入射函数 C. 双射函数 D. 非入射非满射 6. 设B={a,b,c},C={1,2,3,4}，以下哪个关系是从B到C的单射函数？（） A. f={<1,8>,<3,9>,<4,10>,<2,6>,<5,7>} B. f={<1,7>,<2,6>,<4,8>,<1,9>,<5,10>} C. f={<1,7>,<2,7>,<4,9>,<3,8>} D. f={<1,10>,<5,9>,<3,6>,<4,6>,<2,8>} E. f={<1,7>,<5,10>,<2,6>,<4,8>,<3,9>} 7. 下述*运算为实数集上的运算，其中可交换且可结合的运算是（）。 A. a*b=a+2b B. a*b=a+b-ab C. a*b=a D. a*b=|a+b| 8. 在下列命题中，为真的命题是（） A. 汉密顿图一定是欧拉图 B. 无向完全图都是欧拉图 C. 度数为奇数的结点个数为0个或2个的连通无向图G可以一笔画出 D. 有割点的连通图是汉密顿图 9. 设p:小李努力学习，q:小李取得好成绩，命题“只有小李努力学习，他才能取得好成绩”的符号化形式为（）。 A. B. C.
2017离散数学答案(1--5)
02任务_0001 试卷总分：100 测试时间：0 单项选择题 一、单项选择题（共10 道试题，共100 分。） 1. 设集合A = {1, a }，则P(A) = ( )． A. {{1}, {a}} B. {,{1}, {a}} C. {{1}, {a}, {1, a }} D. {,{1}, {a}, {1, a }} 2. 集合A={1, 2, 3, 4}上的关系R={
5. 设集合A={1 , 2 , 3 , 4}上的二元关系R={<1, 1>，<2, 2>，<2, 3>，<4, 4>}，S={<1, 1>，<2, 2>，<2, 3>，<3, 2>，<4, 4>}，则S是R的（）闭包． A. 自反 B. 传递 C. 对称 D. 自反和传递 6. 若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )． A. A B，且A B B. B A，且A B C. A B，且A B D. A B，且A B 7. 设集合A={1，2，3，4，5}，偏序关系是A上的整除关系，则偏序集
华南理工离散数学作业题版
华南理工离散数学作业题 版 The document was prepared on January 2, 2021
华南理工大学网络教育学院 2014–2015学年度第一学期 《离散数学》作业 （解答必须手写体上传，否则酌情扣分）1．设命题公式为Q（P Q）P。 （1）求此命题公式的真值表； （2）求此命题公式的析取范式； （3）判断该命题公式的类型。 解：（1）真值表如下： P Q Q P Q Q（P Q）P Q（P Q）P 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 （2） Q （P Q）P( Q (P Q)) P ( Q (P Q)) P ( P Q) (QP) 1（析取范式） (P Q) (P Q) (P Q) （P Q）（主析取范式） （3）该公式为重言式 2．用直接证法证明 前提：P Q，P R，Q S 结论：S R 解：（1）S P (2)Q S P (3) Q (1)(2) (4)P Q P (5)P (3)(4) (6) P R P (7)R (5)(6) (8) S R （1）（7） 即SVR得证 3．在一阶逻辑中构造下面推理的证明
每个喜欢步行的人都不喜欢坐汽车。每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车。因而有的人不喜欢步行。 令F(x)：x喜欢步行。G(x)：x喜欢坐汽车。H(x)：x喜欢骑自行车。 解：前题：x (F (x) →G(x)), x (G (x) H (x)) x H (x) 结论: x F (x) 证：（1） x F (x) p (2) H (x) ES(1) (3) x (G (x) H (x)) P (4)G (c) vH (c) US(3) (5)G (c) T(2,4)I (6) x (F (x) →G(x)), p (7)F (c) →G(c) US(6) (8) F (c) T(5,7)I (9)( x) F (x) EG(8) 4．用直接证法证明： 前提：（x）（C（x）→W（x）∧R（x）），（x）（C（x）∧Q（x）） 结论：（x）（Q（x）∧R（x））。 证： （1）（x）（C（x）∧Q（x）） P (2) C (c) ∧Q（c） ES(1) (3)（x）（C（x）→W（x）∧R（x）） P (4)（C（c）→W（c）∧R（c）US(3) (5) C(c) T(2)I (6) W（c）∧R（c） T(4,5)I (7)R (c) T(6)I (8) Q（c） T(2)I (9) Q（c）∧R（c） T(7,8)I (10) （x）（Q（x）∧R（x）） EG(9) 5．设R是集合A = {1, 2, 3, 4, 6, 12}上的整除关系。
中石油北京19春《离散数学》第二次在线作业
------------------------------------------------------------------------------------------------------------------------------ 1.（2.5分）代数系统是指由集合及其上的一元或二元运算符组成的系统 正确 错误 正确答案： 2.（2.5分）设< L,*1,*2> 是代数系统，其中是*1,*2二元运算符，如果*1,*2都满足交换律、结合律，并且*1和*2满足吸收律，则称< L,*1,*2> 是格 正确 错误 正确答案： 3.（2.5分）对实数的普通加法和乘法，0是加法的幂等元，1是乘法的幂等元 正确 错误 正确答案： 4.（2.5分）零元是不可逆的 正确 错误 正确答案： 5.（2.5分）群中每个元素的逆元都是惟一的 正确 错误 正确答案： 6.（2.5分）设a,b,c是阿贝尔群< G,+> 的元素，则-(a+b+c)=(-a)+( -b)+( -c) 正确 错误 正确答案： 7.（2.5分） < {0,1,2,3,4},MAX,MIN> 是格 正确 错误 正确答案： 8.（2.5分）一个图的哈密尔顿路是一条通过图中所有结点一次且恰好一次的路 正确 错误 正确答案： 9.（2.5分）在有向图中，结点v的出度deg+(v)表示以v为起点的边的条数，入度deg-(v)表示以v为终点的边的条数 正确 错误 正确答案： 10.（2.5分）一个图的欧拉回路是一条通过图中所有边一次且恰好一次的回路 正确 错误 正确答案： 11.（2.5分）不含回路的连通图是树
2017离散数学答案1--5)(2)
06任务_0001 试卷总分：100 测试时间：0 单项选择题 一、单项选择题（共10 道试题，共100 分。） 1. 命题公式的析取范式是( )． A. B. C. D. 2. 设个体域为整数集，则公式"x$y(x+y=0)的解释可为( )． A. 存在一整数x有整数y满足x+y=0 B. 任一整数x对任意整数y满足x+y=0 C. 对任一整数x存在整数y满足x+y=0 D. 存在一整数x对任意整数y满足x+y=0 3. 下列公式成立的为( )． A. ?P∧?Q ?P∨Q B. P→?Q??P→Q C. Q→P? P D. ?P∧(P∨Q)?Q 4. 下列公式中( )为永真式． A. ?A∧?B ??A∨?B B. ?A∧?B ??(A∨B) C. ?A∧?B ?A∨B
D. ?A∧?B ??(A∧B) 5. 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符 号化为( )． A. B. C. D. 6. 命题公式(P∨Q)→R的析取范式是( ) A. ?(P∨Q)∨R B. (P∧Q)∨R C. (P∨Q)∨R D. (?P∧?Q)∨R 7. 命题公式（P∨Q）的合取范式是( )． A. （P∧Q） B. （P∧Q）∨（P∨Q） C. （P∨Q） D. ?（?P∧?Q） 8. 设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别 是( )． A. 0, 0, 0 B. 0, 0, 1 C. 0, 1, 0 D. 1, 0, 0 9. 命题公式P→Q的主合取范式是( )． A. (P∨Q)∧(∏∨?Θ)∧(?∏∨?Θ)
B. ?P∧Q C. ?P∨Q D. P∨?Q 10. 下列等价公式成立的为( )． A. ?P∧P??Q∧Q B. ?Q→P?P→Q C. P∧Q?P∨Q D. ?P∨P?Q
2017年4月高等教育自学考试《离散数学(二)》试题06094
2017年4月高等教育自学考试《离散数学(二)》试题 课程代码：06094 一、单项选择题(本大题共20小题，每小题2分，共40分) 1．下面给出的句子中不构成命题的是 A ．不要作弊 B ．3+2=9 C ．7是质数 D ．我是男生 2．能使命题P Q →为真的条件是 A ．P 真 B ．Q 假 C ．Q 真 D ．P 真Q 假 3．用P 表示“选张三任班长”，Q 表示“选李四任班长”。则命题“选张三或李四中的 一人任班长”可符号为 A ．P Q ∨ B ．P Q ∧ C ．P Q ?∨ D ．()()P Q P Q ??∧∨∧ 4．P(3,x,y,z)谓词的元数是 A ． 1 B ．4 C ．3 D ．0 5．在公式()X P x ?中，称P 为量词的 A ．论域 B ．辖域 C ．值域 D ．0定义域 6．设谓词F(x)表示x 是实数；Q(x)表示x 能被2整除。则命题“存在能被2整除的实数” 可符号化为 A ．(()())X F x Q x ?∧ B ．(()())X F x Q x ?→ C ．(()())X F x Q x ?→ D ． (()())X F x Q x ?∧ 7．由存在指定规则可得到P(c)结论的公式是 A ．()X P x ? B ．()X P x ? C ．()X P x ?? D ．()X P x ?? 8．下面描述中错误的是 A ．P 是合式公式，则 P ?是合式公式 B ．()X P x ?中x 是约束出现的变元 C ．()X P y ?∧是合式公式 D ．()()X X P x P x ????? 9．只有两个元素的集合其幂集元素个数共有 A ．2 B ．7 C ．8 D ．16 10．设集合M=｛1，2｝，P={2，3}。则有 A ．M P ={2} B ．M P ⊕ =｛1，3｝ C ．M P -={3} D ．M P =｛1，2，3｝ 11．下面给出的集合中，不是{a,b}到{1,2,3}的二元关系的是 A ． {a,2} B ． {(a,2)} C ． {} D ．空集 12．设A={1，2}，B={3，4}，M={(1，3)，(2,4)}是A 到B 的一个二元关系，则M 的关系矩阵第二
离散数学同步练习
华南理工大学网络教育学院 《离散数学》练习题 第一章命题逻辑 一填空题 （1）设：p：派小王去开会。q：派小李去开会。则命题： “派小王或小李中的一人去开会”可符号化 为：。 （2）设A，B都是命题公式，A?B，则A→B的真值是。 （3）设：p：刘平聪明。q：刘平用功。在命题逻辑中，命题： “刘平不但不聪明，而且不用功”可符号化为：。（4）设A , B 代表任意的命题公式，则等价式 A → B?。 （5）设，p：径一事；q：长一智。在命题逻辑中，命题： “不径一事，不长一智。”可符号化为：。（6）设A , B 代表任意的命题公式，则德?摩根律为 ?（A ∧ B）?。 （7）设，p：选小王当班长；q：选小李当班长。则命题：“选小王或小李中的一人当班长。”可符号化为：。（8）设，P：他聪明；Q：他用功。在命题逻辑中，命题： “他既聪明又用功。”可符号化为：。 （9）对于命题公式A，B，当且仅当是重言式时，称“A蕴含B”，并记为A?B。 （10）设：P：我们划船。Q：我们跑步。在命题逻辑中，命题：“我们不能既划船又跑步。”可符号化为：。（11）设P , Q是命题公式，德·摩根律为： ?（P∨Q）?。 （12）设P：你努力。Q：你失败。在命题逻辑中，命题：“除非你努力，否则你将失败。”可符号化为：。
（13）设p：小王是100米赛跑冠军。q：小王是400米赛跑冠军。在命题逻辑中，命题：“小王是100米或400米赛跑冠军。”可符号化为： 。 （4）设A，C为两个命题公式，当且仅当为一重言式时，称C可由A逻辑地推出。 二．判断题 1.设A，B是命题公式，则等价式A→B??A∧B。（） 2.命题公式?p∧q∧?r是析取范式。（） 3.陈述句“x + y > 5”是命题。（） 4.110 (p=1,q=1, r=0)是命题公式((?(p∧q))→r)∨q 的成真赋值。（） 5.命题公式p→(?p∧q) 是重言式。（） 6.设A，B都是合式公式，则A∧B→?B也是合式公式。（） 7.A∨(B∧C)?( A∨B)∨(A∨C)。 （） 8.陈述句“我学英语，或者我学法语”是命题。（） 9.命题“如果雪是黑的，那么太阳从西方出”是假命题。（） 10.“请不要随地吐痰！”是命题。（） 11.P →Q ??P∧Q 。（） 12.陈述句“如果天下雨，那么我在家看电视”是命题。（） 13.命题公式（P∧Q）∨（?R→T）是析取范式。（） 14.命题公式(P∧?Q)∨R∨ (?P∧Q) 是析取范式。（） 三、选择题：在每小题的备选答案中只有一个正确答案，将正确答案序号填入下列叙述中的内。 1．设：P：天下雪。Q：他走路上班。则命题“只有天下雪，他才走路上班。” 可符号化为。 （1）P→Q （2）Q → P （3）? Q →? P （4）Q ∨?P
离散数学作业 (2)
离散数学作业布置 第1次作业（P15） 1.16 设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。 解：（1）p∨(q∧r)=0∨(0∧1)=0 （2）（p?r）∧(﹁q∨s)=（0?1）∧(1∨1)=0∧1 =0 （3）（﹁p∧﹁q∧r）?(p∧q∧﹁r)=（1∧1∧1）? (0∧0∧0)=0 (4)（r∧s）→(p∧q)=（0∧1）→(1∧0)=0→0=1 1.17 判断下面一段论述是否为真：“π是无理数。并且，如果3是无理数，则2 也是无理数。另外只有6能被2整除，6才能被4整除。” 解：p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1 s:6能被2整除 1 t: 6能被4整除0 命题符号化为：p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。 1.19 用真值表判断下列公式的类型： （4）(p→q) →(﹁q→﹁p) （5）(p∧r) ? (﹁p∧﹁q) （6）((p→q) ∧(q→r)) →(p→r) 解：（4） p q p→q q p q→p (p→q)→( q→p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式，最后一列全为1 （5）公式类型为可满足式（方法如上例），最后一列至少有一个1 （6）公式类型为永真式（方法如上例，最后一列全为1）。 第2次作业（P38） 2.3 用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值. (1) ﹁(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 解：(1) ﹁(p∧q→q) ?﹁(﹁(p∧q) ∨q) ?(p∧q) ∧﹁q?p∧(q ∧﹁q) ? p∧0 ?0 所以公式类型为矛盾式 (2)（p→(p∨q)）∨(p→r) ? (﹁p∨(p∨q))∨(﹁p∨r) ?﹁p∨p∨q∨r?1 所以公式类型为永真式 (3) (p∨q) → (p∧r) ?￢(p∨q) ∨ (p∧r) ? (￢p∧￢q) ∨(p∧r) 易见, 是可满足式, 但不是重言式. 成真赋值为: 000,001, 101, 111
华南理工网络教育2018年离散数学大作业参考答案#试题
华南理工大学网络教育学院 2018–2019学年度第一学期 《离散数学》作业 1、用推理规则证明?（P∧?Q），?Q∨R，? R??P 证（1）?Q∨R P （2）? R P （3）?Q（1）（2）析取三段论 （4）?（P∧?Q）P （5）?P ∨ Q （4）等价转换 （6）?P （3）（5）析取三段论 2、用推理规则证明Q，?P → R，P → S，? S?Q∧R 证（1）P → S P （2）? S P （3）?P（1）（2）拒取式 （4）?P → R P （5）R （3）（4）假言推理 （6）Q P （7）Q∧R（5）（6）合取 3．设命题公式为?Q∧（P→Q）→?P。 （1）求此命题公式的真值表； （2）求此命题公式的析取范式； （3）判断该命题公式的类型。 解（1）真值表如下 P Q ?Q P→Q ?Q∧（P→Q）?P?Q∧（P→Q）→?P 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 （2）?Q∧（P→Q）→?P??（?Q∧（?P∨Q））∨?P ?（Q∨?（?P∨Q））∨?P??（?P∨Q）∨（Q∨?P）?1（析取范式）?（?P∧?Q）∨（?P∧Q）∨（P∧?Q）∨（P∧Q）（主析取范式） （3）该公式为重言式 4．在一阶逻辑中构造下面推理的证明 每个喜欢步行的人都不喜欢坐汽车。每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车。因而有的人不喜欢步行。
令F(x)：x喜欢步行。G(x)：x喜欢坐汽车。H(x)：x喜欢骑自行车。 解前提：?x（F（x）→? G（x）），?x（G（x）∨H（x））， ? x? H（x）。 结论：? x ?F（x）。 证(1)? x ?H（x）P (2)?H（c）ES(1) (3)?x（G（x）∨H（x））P (4) G（c）∨H（c）US(3) (5) G（c）T(2，4)I (6)?x（F（x）→? G（x））P (7)F（c）→? G（c）US(6) (8)? F（c）T(5,7)I (9)（?x）? F（x）EG(8) 5．用直接证法证明： 前提：（?x）（C（x）→W（x）∧R（x）），（?x）（C（x）∧Q（x）） 结论：（?x）（Q（x）∧R（x））。 证(1)（?x）（C（x）∧Q（x））P (2)C（c）∧Q（c）ES(1) (3)（?x）（C（x）→W（x）∧R（x））P (4) C（c）→W（c）∧R（c）US(3) (5) C（c）T(2)I (6)W（c）∧R（c）T(4,5)I (7)R（c）T(6)I (8)Q（c）T(2)I (9)Q（c）∧R（c）T(7,8)I (10) （?x）（Q（x）∧R（x））EG(9) 6．设R是集合A = {1, 2, 3, 4, 5, 6, 7, 8, 9}上的整除关系。 （1）给出关系R；（2）画出关系R的哈斯图； （3）指出关系R的最大、最小元，极大、极小元。 解R={<1,2>,<1,3>,<1,4>,<1,5>,<1,6>，<1,7>,<1,8>,<1,9>,<2,4>,<2,6>，<2,8>，<3,6>，<3,9>，<4,8>}∪I A COV A={<1,2>,<1,3>,<1,5>,<1,7>,<2,4>,<2,6>，<3,6>，<3,9>，<4,8>} 作哈斯图如右： 极小元和最小元为1； 极大元为5,6,7,8,9, 无最大元 8
电大离散数学作业答案作业答案
离散数学作业5 离散数学图论部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第二次作业，大家要认真及时地完成图论部分的综合练习作业。 要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求2010年12月5日前完成并上交任课教师（不收电子稿）。并在05任务界面下方点击“保存”和“交卷”按钮，以便教师评分。 一、填空题 1．已知图G 中有1个1度结点，2个2度结点，3个3度结点，4个4度结点，则G 的边数是 15 ． 2．设给定图G (如右由图所示)，则图G 的点割集是 {}f {}c e ,． 3．设G 是一个图，结点集合为V ，边集合为E ，则 G 的结点 度数之和 等于边数的两倍． 4．无向图G 存在欧拉回路，当且仅当G 连通且 不含奇数度结点 ． 5．设G=
离散数学2017秋综合练习题
离散数学综合练习题 一、判断下列命题是否正确．如果正确，在题后括号内填“\/”； 否则，填“?” （1）空集是任何集合的真子集． （ ） （2）{ }φ是空集． （ ） （3）{}{ }a a a },{∈ （ ） （4）如果B A a ??，则A a ?或B a ?． （ ） （5）设集合},,{321a a a A =，},,{321b b b B =，则 },,,,,{332211><><><=?b a b a b a B A （ ） （6）设集合}1,0{=A ，则 }1},0{,0},0{,1,,0,{><><><><=φφρ 是A 2到A 的关系． （ ） （7）关系的复合运算满足交换律． （ ） （8）设21,ρρ为集合 A 上的等价关系, 则21ρρ?也是集合 A 上的等价关系 ( ) （9）设ρ是集合A 上的等价关系, 则当ρ>∈?<,G 是群．如果对于任意G b a ∈,，有 222)(b a b a ?=? 则>?<,G 是阿贝尔群． （ ） （14）设a 是群>?<,G 的元素，记 }|{y a a y G y y H ?=?∈=且 则>?<,H 是>?<,G 的子群． （ ） （15）<{0，1，2，3，4}，max ，min>是格． （ ） （16）设a ，b 是格>∧∨<,,L 的任意两个元素，则 a b a b b a =∧?=∨． （ ） （17）设>∧∨<,,,B 是布尔代数，则>∧∨<,,B 是格． （ ） （18）设集合},{b a A =，则>??<,},},{},{,{A b a φ是格． （ ） （19）设>∧∨<,,,B 是布尔代数，则对任意B b a ∈,，有 b a b a ∨=∧． （ ） （20）设>∧∨<,,,B 是布尔代数，则对任意B a ∈，都有B b ∈，使得 0,1=∧=∨b a b a ． （ ） （21）n 阶完全图的任意两个不同结点的距离都为1. （ ） （22）在有向图中，结点i v 到结点j v 的有向短程即为j v 到i v
2013华工离散数学作业
注意看参考答案 1. A．明年国庆节是晴天。 B．在实数范围内，x+y〈3。 C．请回答这个问题！ D．明天下午有课吗？ 在上面句子中，是命题的只有（） 答题： A. B. C. D. 参考答案：A 2. 在上面句子中，是命题的是( ) A．雪是黑色的。 B．这朵花多好看呀！。 C．请回答这个问题！ D．明天下午有会吗？ 答题： A. B. C. D. 参考答案：A 3. A．现在开会吗？ B．在实数范围内，x+y >5。 C．这朵花多好看呀！ D．离散数学是计算机科学专业的一门必修课。 在上面语句中，是命题的只有( ) 答题： A. B. C. D. 参考答案：D 4. A．1＋101＝110 B．中国人民是伟大的。 C．全体起立！ D．计算机机房有空位吗？ 在上面句子中，是命题的是( ) 答题： A. B. C. D. 参考答案：B 5.下面的命题不是简单命题的是( ) A．3是素数或4是素数 B．2018年元旦下大雪 C．刘宏与魏新是同学 D．圆的面积等于半径的平方与之积 答题： A. B. C. D. 参考答案：A
6.设：p：派小王去开会。q：派小李去开会。则命题： “派小王或小李中的一人去开会” 可符号化为：（） A． B． C． D． 答题： A. B. C. D. 参考答案：B 7.下面“”的等价说法中，不正确的为 A．p是q的充分条件 B． q是p的必要条件 C．q仅当p D．只有q才p 答题： A. B. C. D. 参考答案：C 8. p,q都是命题，则p→q的真值为假当且仅当( ) A．p为假，q为真 B．p为假，q也为假 C．p为真，q也为真 D．p为真，q也为假 答题： A. B. C. D. 参考答案：D 9.个命题变元组成的命题公式，有( )种真值情况 A． B． C． D．2 答题： A. B. C. D. 参考答案：C 10. 答题： A. B. C. D. 参考答案：C 11.设F（x）：x是火车，G（x）：x是汽车，H（x，y）：x比y快。命题“说
北邮离散数学第二次阶段作业
北京邮电大学 离散数学 第一次阶段作业 判断题 1. 集合A上的任一运算对A是封闭的。【答案：A】 A. 正确 B. 错误 2. 设G;·是群，如果对于任意a,b?G，有a·b2=a2·b2，则G;·是阿贝尔群。【答案：A】 A. 正确 B. 错误 3. 设a,b是群G;·的元素，则a·b?1=a?1·b?1。【答案：B】 A. 正确 B. 错误 4. 0,1,2,3,4,max,min是格。【答案：A】 A. 正确 B. 错误 5. 设集合A=a,b，则?,a,b,A,∪,∩是格。【答案：A】 A. 正确 B. 错误 单项选择题 1. 设集合A={1,2,3,4,…,10}，则下面定义的哪种运算关于集合A不是封闭的。【答案：D】 A. x°y=max x,y B. x°y=min x,y C. x°y=GCD x,y，即x,y的最小公约数 D. x°y=LCM x,y，即x,y的最小公倍数 2. 循环群Z,+的所有生成元为【答案：D】 A. 1,0 B. -1,2 C. 1,2 D. 1,-1 3. 循环群I5,?5的所有之群为【答案：C】 A. I5,?5 B. 0,?5 C. I5,?5且0,?5 D. ? 4. 设代数系统A,·，则下面结论成立的是【答案：C】 A. 如果A,·是群，则A,·是阿贝尔群 B. 如果A,·是阿贝尔群，则A,·是循环群 C. 如果A,·是循环群，则A,·是阿贝尔群
D. 如果A,·是阿贝尔群群，则A,·必不是循环群 5. 下列代数系统G,?中，哪一个不构成群【答案：D】 A. G=1,10，*是模 11 乘法 B.G=0,1,2，*是模 3 乘法 C.G=Q有理数集，*是普通加法 D.G=Q，*普通乘法