2012离散数学A卷
,考试作弊将带来严重后果！
华南理工大学期末考试
《Discrete Mathematics 》
： 1. 考前请将密封线内填写清楚； 所有答案请直接答在答题纸上； ．考试形式：闭卷；
本试卷共 4 大题，满分100分， 考试时间120分钟。 ．
Choose an answer to the following question. (10 x 2’ = 20’) )
B) x > 1.5 D) Help me. is true for all possible assignments of truth values to p
q except for which assignment?( ) ）p false, q true B ）p true, q false ）p false, q false D ）p true, q true
“No Computer Major is taking any courses ” where C(x) is the statement x is a Computer )
A ）
B ）
C ）
D ）
(4) Function f is defined as x x x f Z Z f 2)(,:-=→, so f is ( )
A ）onto
B ） both onto and one-to-one
C ）one-to-one
D ） neither onto nor one-to-one (5) Supposed a binary relation R (Figure 1) on the set A = { 1, 2, 3 }, R is ( )
A) irreflexive, symmetric, non-transitive
B) reflexive, antisymmetric, transitive
C) irreflexive, antisymmetric, transitive Figure 1. D) reflexive, antisymmetric, non-transitive
(6) Which of these arguments is true?( )
A) (P(S), subset of ) is a poset and also total ordered B) (Z +,|) is totally ordered
C) The divisibility relation(可整除) “ | ” is a partial ordering on the set of positive integers.(Z+,|) is a poset.
D) (N, >=) is well-ordered
(7) (A?B)-C= ( )
A) (A – C) ? B B) (A-C)?(B-C)
C) A – (B?C) D) (A-C)∩(B-C)
(8) Which statement is correct?（）
A) There are 2n 1s and n (n-2) 0s in the adjacency matrix for C n.
B) C n is always bipartite .
C) Q n has n2n edges and 2n vertices.
D) K n has n (n+1)/2 edges and n vertices.
(9) How many planar graphs in the following graphs? ( )
A) 4 B) 3 C) 2 D) 1
(10) Which statement is wrong? ( )
A. If a directed graph is strongly connected, it must be an Euler graph.
B. A graph with cut edge cannot be an Euler graph.
C. If a graph is an Euler graph, it must be a strongly connected graph.
D. A graph with cut vertex cannot be a Hamilton graph.
2．Fill in the blanks. (10 x 2’ = 20’)
(1) If p→q is true, the truth value of p∧q →q is
(2) Let C(x): x is a computer. D(x): x is a peripheral equipment. P(x, y): x can communicate with y. Express the sentence “some computers can’t communicate with some peripheral equipment” as a logical expression as______________.
(3) Let l be “Lois works late”, let j be “John works late”, and let e be “they will
eat at home ”. Express the statement “If Lois or John do not work late, then they will eat at home ” __________________
(4)A={ l ，m ，n }，B={ a ，b ，c }，C={ x ，y ，z }. R ：A→B ，S ：B→C ，and R={
(5) A = { ?, {?}}, )(A ρ i s t h e p o w e r s e t o f A . )(A ρ=______________. (6) R is the real number domain. For x R ?∈, ()2f x x =+, ()2g x x =- and
()3h x x =. Hence, ()h g f = _______________.
(7) R is “ more than or equal to ” relation on Z ×Z ，then R -1=________.
(8) R is the relation “brother or sister ”, xRy represents “x is the brother or sister of y ”, ① irreflexive ② reflexive ③ symmetric ④
antisymmetric ⑤ transitive. R has the properties _____. (9) The complete bipartite graph K m, n has ____ cut edges. (10) The sum of the weights of the minimum spanning tree for the graph in the right hand side is _____.
3. Computation and Analysis. (6 x 6’ = 36’) (1) Prove the equivalence of predicate:
()()(()())()()()()x y P x Q y x P x y Q y ??→??→?
(2) Given the premises ?A ∨B, ?C →?B, C →D, how to get the conclusion A →D?
(3) Suppose A = {a , b, c, d}, a relation on A is R = {
0100101000010
00
0R M ?????
?=??????
(4)Can the following graph be drawn in one stroke ? Why ?
(5) Find out whether G and H are isomorphic. No matter what the judgment is, please give your explanation and argument.
(6) Use the ordered rooted tree to represent the expression ((3*x-5*(y↑2))↑5)/(a*((b↑3)-4*c))
4.Application of Discrete Mathematics. (4 x 6’ = 30’)
(1)Use inference to obtain conclusion from the premises.
All the people who like walking do not like driving. Every person likes driving or riding. Some people don’t like riding. Therefore, some people don’t like walking.
(2)Suppose R is a reflexive and transitive relation on A. T is also a relation on A, such that:
Prove that T is an equivalence relation.
(3) 6 people are supposed to accomplish 3 tasks in groups (2 people in one group). The people in the same group should cooperate with each other to accomplish the task. We now know each person could cooperate with at least other 3 people. Is that possible that all the tasks could be accomplished?
(4) The roads represented by this graph are all unpaved. The lengths of the roads between pairs of towns are represented by edge weights. Which roads should be paved so that there is path of paved roads between each pair of town so that a minimum road length is paved?
离散数学期末考试试题(有几套带答案)
离散数学试题(A卷及答案） 一、证明题（10分） 1)(?P∧(?Q∧R))∨(Q∧R)∨(P∧R)?R 证明: 左端?(?P∧?Q∧R)∨((Q∨P)∧R)?((?P∧?Q)∧R))∨((Q∨P)∧R) ?(?(P∨Q)∧R)∨((Q∨P)∧R)?(?(P∨Q)∨(Q∨P))∧R ?(?(P∨Q)∨(P∨Q))∧R?T∧R(置换)?R 2)?x(A(x)→B(x))??xA(x)→?xB(x) 证明：?x(A(x)→B(x))??x(?A(x)∨B(x))??x?A(x)∨?xB(x)???xA(x)∨?xB(x)??xA(x)→?xB(x) 二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式（10分） 证明：(P∨(Q∧R))→(P∧Q∧R)??(P∨(Q∧R))∨(P∧Q∧R)) ?（?P∧(?Q∨?R)）∨(P∧Q∧R) ?(?P∧?Q)∨(?P∧?R))∨(P∧Q∧R) ?(?P∧?Q∧R)∨(?P∧?Q∧?R)∨(?P∧Q∧?R))∨(?P∧?Q∧?R))∨(P∧Q∧R) ?m0∨m1∨m2∨m7 ?M3∨M4∨M5∨M6 三、推理证明题（10分） 1）C∨D, (C∨D)→?E, ?E→(A ∧?B), (A∧?B)→(R∨S)?R∨S 证明：(1) (C∨D)→?E (2) ?E→(A∧?B) (3) (C∨D)→(A∧?B) (4) (A∧?B)→(R∨S) (5) (C∨D)→(R∨S) (6) C∨D
(7) R∨S 2) ?x(P(x)→Q(y)∧R(x))，?xP(x)?Q(y)∧?x(P(x)∧R(x)) 证明（1）?xP(x) (2)P(a) (3)?x(P(x)→Q(y)∧R(x)) (4)P(a)→Q(y)∧R(a) (5)Q(y)∧R(a) (6)Q(y) (7)R(a) (8)P(a) (9)P(a)∧R(a) (10)?x(P(x)∧R(x)) (11)Q(y)∧?x(P(x)∧R(x)) 四、设m是一个取定的正整数，证明：在任取m＋1个整数中，至少有两个整数，它们的差是m的整数倍 证明设 1 a，2a，…，1+m a为任取的m＋1个整数，用m去除它们所得余数 只能是0，1，…，m－1，由抽屉原理可知， 1 a，2a，…，1+m a这m＋1个整 数中至少存在两个数 s a和t a，它们被m除所得余数相同，因此s a和t a的差是m的整数倍。 五、已知A、B、C是三个集合，证明A-(B∪C)=(A-B)∩(A-C) （15分）证明∵x∈ A-（B∪C）? x∈ A∧x?（B∪C）? x∈ A∧（x?B∧x?C）?（x∈ A∧x?B）∧（x∈ A∧x?C）? x∈（A-B）∧x∈（A-C）? x∈（A-B）∩（A-C）∴A-（B∪C）=（A-B）∩（A-C） 六、已知R、S是N上的关系，其定义如下：R={
离散数学试卷及答案(2)
一、填空 20% （每小题2分） 1、 P ：你努力，Q ：你失败。“除非你努力，否则你将失败”的翻译为 ；“虽然你努力了，但还是失败了”的翻译为 。 2、论域D={1，2}，指定谓词P 则公式),(x y yP x ??真值为 。 2、 设S={a 1 ，a 2 ，…，a 8}，B i 是S 的子集，则由B 31所表达的子集是 。 3、 设A={2，3，4，5，6}上的二元关系}|,{是质数x y x y x R ∨<><=，则R= （列举法）。 R 的关系矩阵M R = 。 5、设A={1，2，3}，则A 上既不是对称的又不是反对称的关系R= ； A 上既是对称的又是反对称的关系R= 。 6、设代数系统，其中A={a ，b ，c}, 则幺元是 ；是否有幂等 性 ；是否有对称性 。 7、4阶群必是 群或 群。 8、下面偏序格是分配格的是 。
9、n 个结点的无向完全图K n 的边数为 ，欧拉图的充要条件是 。 10、公式R Q P Q P P ?∧∨?∧∧?∨)(())(( 的根树表示为 。 二、选择 20% （每小题2分） 1、在下述公式中是重言式为（ ） A ．)()(Q P Q P ∨→∧； B ．))()(()(P Q Q P Q P →∧→??； C ．Q Q P ∧→?)(； D ．)(Q P P ∨→ 。 2、命题公式 )()(P Q Q P ∨?→→? 中极小项的个数为（ ），成真赋值的个数为（ ）。 A ．0； B ．1； C ．2； D ．3 。 3、设}}2,1{},1{,{Φ=S ，则 S 2 有（ ）个元素。 A ．3； B ．6； C ．7； D ．8 。 4、 设} 3 ,2 ,1 {=S ，定义S S ?上的等价关系 },,,, | ,,,{c b d a S S d c S S b a d c b a R +=+?>∈∈<><><<=则由 R 产 生的S S ?上一个划分共有（ ）个分块。 A ．4； B ．5； C ．6； D ．9 。 5、设} 3 ,2 ,1 {=S ，S 上关系R 的关系图为
《离散数学》题库及答案
《离散数学》题库与答案 一、选择或填空 （数理逻辑部分） 1、下列哪些公式为永真蕴含式？( A ) (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）是假言推理，（3），（5），（6）都可以用蕴含等值式来证明出是永真蕴含式 4、公式x((A(x)B(y，x))z C(y，z))D(x)中，自由变元是( )，约束变元是( )。 答：x,y, x,z（考察定义在公式x A和x A中，称x为指导变元，A为量词的辖域。在x A和x A的辖域中，x的所有出现都称为约束出现，即称x为约束变元，A中不是约束出现的其他变项则称为自由变元。于是A(x)、B(y，x)和z C(y，z)中y为自由变元，x和z为约束变元，在D(x)中x为自由变元） 5、判断下列语句是不是命题。若是，给出命题的真值。( )
(1)北京是中华人民共和国的首都。(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）P ?（注意“只有……才……”和“除非……就……”两者都是一个 Q→ 形式的）（2）Q P→ ? P? ?（4）Q P? →（3）Q 8、设个体域为整数集，则下列公式的意义是( )。 (1) x y(x+y=0) (2) y x(x+y=0) 答：（1）对任一整数x存在整数y满足x+y=0 （2）存在整数y对任一整数x满足x+y=0 9、设全体域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 (反证法：假若存在，则（x- 1）*y=0 对所有的x都成立，显然这个与前提条件相矛盾) （2）F （同理）（3）F （同理）（4）T（对任一整数x存在整数y满足条件y=2x 很明显是正确的）
2012-2013(1)离散数学试卷及答案B卷
浙江工业大学期终考试命题稿 2010 /2011 学年第1 学期 命题注意事项： 一、命题稿请用A4纸电脑打印，或用教务处印刷的命题纸，并用黑 墨水书写，保持字迹清晰，页码完整。 二、两份试题必须同等要求，卷面上不要注明A、B字样，由教务处 抽定A、B卷。 三、命题稿必须经学院审核，并在考试前两周交教务处。
浙江工业大学2012/2013 学年 第1学期试卷 课程＿＿＿＿＿＿＿＿ 姓名 ＿＿＿＿＿＿＿＿ 班级＿＿＿＿＿＿＿＿ 学号 ＿＿＿＿＿＿＿＿ 题序 一 二 三 四 五 六 七 八 九 十 总分 计分 一、 1．下列语句是命题的是（ A ）。 A 、离散数学是重要的一门必修课。 B 、1+101=110？ C 、我正在说谎。 D 、全体起立！ 2．图 的邻接矩阵为( C )。 A 、 1 111111*********?? ? ? ? ??? B 、1 110011*********?? ? ? ? ??? C 、0 110001*********?? ? ? ? ??? D 、0 111101*********-?? ? - ? ?-- ?-?? 3．下列排列能构成图的顶点度序列的是（ A ）。 A 、1,2,2,3,4 B 、2,3,4,5,6,7 C 、2,1,1,1,2 D 、3,3,5,6,0 4．设{}b a A ,=，则I A =（D ）。 A 、 A ； B 、A×I A ； C 、 I A ×A ； D 、{,,,}a a b b <><>。 5．下述命题公式中，是重言式的为（ C ）。 A 、)()(q p q p ∨→∧； B 、))())(()(p q q p q p →∧→??； C 、q q p ∧→?)(； D 、q p p ??∧)(。 二、填空题15分 （每小题 3分） 1已知一棵无向树T 有三个3度顶点,一个2度顶点,其余的都是1度顶点, 则T 中有 5 个1度顶点。
离散数学试卷及答案
一、单项选择题(本大题共15小题，每小题1分，共15分)在每小题列出的四个选 项中只有一个选项是符合题目要求的，请将正确选项前的字母填在题后的括号内。 1.一个连通的无向图G，如果它的所有结点的度数都是偶数，那么它具有一条( ) A.汉密尔顿回路 B.欧拉回路 C.汉密尔顿通路 D.初级回路 2.设G是连通简单平面图，G中有11个顶点5个面，则G中的边是( ) A.10 B.12 C.16 D.14 3.在布尔代数L中，表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( ) A.b∧(a∨c) B.(a∧b)∨(a’∧b) C.(a∨b)∧(a∨b∨c)∧(b∨c) D.(b∨c)∧(a∨c) 4.设i是虚数，·是复数乘法运算，则G=<{1,-1,i,-i},·>是群，下列是G的子群是( ) A.<{1},·> B.〈{-1},·〉 C.〈{i},·〉 D.〈{-i},·〉 5.设Z为整数集，A为集合，A的幂集为P(A),+、-、/为数的加、减、除运算，∩为集合的交 运算，下列系统中是代数系统的有( ) A.〈Z，+，/〉 B.〈Z，/〉 C.〈Z，-，/〉 D.〈P(A)，∩〉 6.下列各代数系统中不含有零元素的是( ) A.〈Q，*〉Q是全体有理数集，*是数的乘法运算 B.〈Mn(R),*〉,Mn(R)是全体n阶实矩阵集合，*是矩阵乘法运算 C.〈Z， Z是整数集， 定义为x xy=xy,?x,y∈Z D.〈Z，+〉，Z是整数集，+是数的加法运算 7.设A={1,2,3}，A上二元关系R的关系图如下： R具有的性质是 A.自反性 B.对称性 C.传递性 D.反自反性 8.设A={a,b,c}，A上二元关系R={〈a,a〉，〈b,b〉,〈a,c〉}，则关系R的对称闭包S(R)是( ) A.R∪I A B.R C.R∪{〈c,a〉} D.R∩I A 9.设X={a,b,c},Ix是X上恒等关系，要使Ix∪{〈a,b〉，〈b,c〉，〈c,a〉，〈b,a〉}∪R为X上的 等价关系，R应取( ) A.｛〈c,a〉，〈a,c〉｝ B.{〈c,b〉，〈b,a〉} C.{〈c,a〉，〈b,a〉} D.{〈a,c〉，〈c,b〉} 10.下列式子正确的是( ) A. ?∈? B.??? C.{?}?? D.{?}∈? 11.设解释R如下：论域D为实数集，a=0,f(x,y)=x-y,A(x,y):x ,考试作弊将带来严重后果！ 华南理工大学期末考试 《Discrete Mathematics 》 ： 1. 考前请将密封线内填写清楚； 所有答案请直接答在答题纸上； ．考试形式：闭卷； 本试卷共 4 大题，满分100分， 考试时间120分钟。 ． Choose an answer to the following question. (10 x 2’ = 20’) ) B) x > 1.5 D) Help me. is true for all possible assignments of truth values to p q except for which assignment?( ) ）p false, q true B ）p true, q false ）p false, q false D ）p true, q true “No Computer Major is taking any courses ” where C(x) is the statement x is a Computer ) A ） B ） C ） D ） (4) Function f is defined as x x x f Z Z f 2)(,:-=→, so f is ( ) A ）onto B ） both onto and one-to-one C ）one-to-one D ） neither onto nor one-to-one (5) Supposed a binary relation R (Figure 1) on the set A = { 1, 2, 3 }, R is ( ) A) irreflexive, symmetric, non-transitive B) reflexive, antisymmetric, transitive C) irreflexive, antisymmetric, transitive Figure 1. D) reflexive, antisymmetric, non-transitive (6) Which of these arguments is true?( ) A) (P(S), subset of ) is a poset and also total orderedB) (Z +,|) is totally ordered C) 可整除) “ | ” is a partial ordering on the set of positive +,|) is a poset. D) (N, >=) is well-ordered (7) (A ?B )-C = ( ) 离散数学期末试题及答 案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】 326《离散数学》期末考试题(B ) 一、填空题(每小题3分，共15分) 1.设,,},,{{b a b a A =?}，则-A ? = ( )，-A {?} = ( )， )(A P 中的元素个数=|)(|A P ( ). 2.设集合A 中有3个元素，则A 上的二元关系有( )个，其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为( ), 量词y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ，对于其上的整除关系“|”，元素( )不存在补元. 5.当n ( )时，n 阶完全无向图n K 是平面图，当当n 为( )时，n K 是欧拉图. 二．1. 若n B m A ==||,||，则=?||B A ( )，A 到B 的2元关系共有( )个，A 上的2元关系共有( )个. 2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3, 1)}，则( )是单射，( )是满射，( )是双射. 3. 下列5个命题公式中，是永真式的有( )(选择正确答案的番号). (1)q q p p →→∧)(； (2))(q p p ∨→； (3))(q p p ∧→； (4)q q p p →∨∧?)(； (5)q q p →→)(. 4. 设D 24是24的所有正因数组成的集合，“|”是其上的整除关系，则3的补元( )，4的补元( )，6的补元( ). 离散数学考试试题（A卷及答案） 一、（10分）判断下列公式的类型（永真式、永假式、可满足式）？ 1)((P→Q)∧Q)?((Q∨R)∧Q) 2)?((Q→P)∨?P)∧(P∨R) 3)((?P∨Q)→R)→((P∧Q)∨R) 解：1)永真式；2）永假式；3)可满足式。 二、（8分）个体域为{1，2}，求?x?y（x+y=4）的真值。 解：?x?y（x+y=4）??x（（x+1=4）∨（x+2=4）） ?（（1+1=4）∨（1+2=4））∧（（2+1=4）∨（2+1=4）） ?（0∨0）∧（0∨1） ?1∧1?0 三、（8分）已知集合A和B且|A|=n，|B|=m，求A到B的二元关系数是多少？A到B的函数数是多少？ 解：因为|P(A×B)|=2|A×B|=2|A||B|=2mn，所以A到B的二元关系有2mn个。因为|BA|=|B||A|=mn，所以A到B的函数mn个。 四、（10分）已知A={1,2,3,4,5}和R={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>}，求r(R)、s(R)和t(R)。 解：r(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>} s(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<3,2>,<4,3>,<4,5>} t(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<1,3>,<2,2>,<2,4>,<1,4>} 五、(10分) 75个儿童到公园游乐场，他们在那里可以骑旋转木马，坐滑行铁道，乘宇宙飞船，已知其中20人这三种东西都乘过，其中55人至少乘坐过其中的两种。若每样乘坐一次的费用是0.5元，公园游乐场总共收入70元，求有多少儿童没有乘坐过其中任何一种。 解设A、B、C分别表示骑旋转木马、坐滑行铁道、乘宇宙飞船的儿童组成的集合，|A∩B∩C|＝20，|A∩B|＋|A∩C|＋|B∩C|－2|A∩B∩C|＝55，|A|＋|B|＋|C|＝70/0.5＝140。 由容斥原理，得 |A∪B∪C|＝|A|＋|B|＋|C|―|A∩B|―|A∩C|―|B∩C|＋|A∩B∩C| 所以 |A∩B∩C|＝75－|A∪B∪C|＝75－(|A|＋|B|＋|C|)＋(|A∩B|＋|A∩C|＋|B∩C|－2|A∩B∩C|)＋|A∩B∩C|＝75－140＋55＋20＝10 没有乘坐过其中任何一种的儿童共10人。 六、（12分）已知R和S是非空集合A上的等价关系，试证：1）R∩S是A上的等价关系；2）对a∈A，[a]R ∩S=[a]R∩[a]S。 解：?x∈A，因为R和S是自反关系，所以 一、填空题（每小题3分，共15分） 1.设F(x)：x是苹果，H(x，y)：x与y完全相同，L(x，y)：x=y， 则命题“没有完全相同的苹果”的符号化（利用全称量词）为?x?y(F(x)∧F(y)∧?L(x，y)→?H(x，y))． 2.命题“设L是有补格，在L中求补元运算‘′’是L中的一元 运算”的真值是0． 3.设G={e，a，b，c}是Klein四元群，H=?a?是G的子群，则商 群G/H={?a?，{b，c}}={{e，a}，{b，c}}． 4.设群G=?P({a，b，c})，⊕?，其中⊕为集合的对称差运算，则 由集合{a，b}生成的子群?{a，b}? ={?，{a，b}}． 5.已知n阶无向简单图G有m条边，则G的补图有n(n-1)/2-m 条边． 二、选择题（每小题3分，共15分） 1.命题“只要别人有困难(p)，小王就会帮助他(q)，除非困难已 经解决了(r)”的符号化为【B】A．?(p∧r)→q．B．(?r∧p)→q． C．?r→(p∧q)．D．?r→(q→ p)． 2.设N为自然数集合，“≤”为通常意义上的小于等于关系，则 偏序集?N，≤?是【C】 A．有界格．B．有补格． C．分配格．D．布尔代数． 3.设n (n≥3) 阶无向图G=?V，E?是哈密尔顿图，则下列结论中 不成立的是【D】A．?V1?V，p(G-V1)≤|V1|．B．|E|≥n． C．无1度顶点．D．δ(G)≥n/2． 4.设A={a，b，c}，在A上可以定义个二元运算，其 中有个是可交换的，有个是幂等的．【A】A．39，36，36．B．39，36，33． C．36，36，33．D．39，36，39． 5.下列图中是欧拉图的有【C】 A．K4，3．B．K6． C．K5．D．K3，3． 三、计算与简答题（每小题8分，共40分） 1.利用等值演算方法求命题公式(p∨q) → (q→p)的主合取范式； 利用该主合取范式求公式的主析取范式，并指出该公式的成真赋值和成假赋值． (p∨q) → (q→p) ??(p∨q)∨(?q∨p) ?(?p∧?q)∨(?q∨p) ?(?p∨?q∨p)∧(?q∨?q∨p) ??q∨p?p∨?q ?M1 此为公式的主合取范式． 该公式的主析取范式是m0∨m2∨m3． 公式的成真赋值为00，10，11． 公式的成假赋值为01． 哈尔滨工程大学试卷 考试科目：离散数学（041121，041131-32） 考试时间：14:00-16:30 1 离散数学2012年12月28 日 √√计科21101、21102、信科11001、11002 一二三四五六七八 一、单选题: (2分×10=20分) 1.设p:我们听课,q:我们打球.命题“我们不能既听课又打球”符号化为( ). A．┓p→┓q B．┓p∨┓q C．┓(p→q) D．p?┓q 2.设个体域A={a,b},公式?xP(x)∧?yQ(y)消去量词后为( ) A.P(x)∧Q(y) B.P(a)∧P(b)∧(Q(a)∨Q(b)) C.P(a)∧Q(b) D. P(a)∧P(b)∧Q(a)∨Q(b) 3．设A={1,2,3}, 则A上的等价关系有( ) A．3个B．4个C．5个D．6个 4．设Z是整数集，+，·分别是普通加法和乘法，则〈Z，+，·〉是（）A．域B．整环和域C．整环D．含零因子环 5．Q为有理数集，·是普通乘法,则代数系统〈Q，*〉不能构成（）A．群B．独异点C．半群D．交换半群 6．N是自然数集，≤是小于等于关系，则〈N，≤〉是（） A．有界格B．有补格C．分配格D．有补分配格 7．有限布尔代数的元素个数必定等于（） A．2n B．2n C．n2D．3n 8．给定下列序列，可构成无向简单图的度数序列的是（） A．1,1,2,2,3 B．1,1,2,2,2 C．0,1,3,3,3 D．1,3,4,4,5 9．任何无向图中顶点间的连通关系是（） A．偏序关系B．等价关系C．非偏序关系D．非等价关系10．设D=〈V，E〉为有向图，V={a,b,c,d}， E={ 《离散数学》试卷（A 卷） 一、 选择题（共5 小题，每题 3 分，共15 分） 1、设A={1,2,3},B={2,3,4,5},C={2,3},则C B A ⊕?)(为(C )。 A 、{1,2} B 、{2,3} C 、{1,4,5} D 、{1,2,3} 2、下列语句中哪个是真命题 ( A ) A 、如果1+2=3，则4+5=9； B 、1+2=3当且仅当4+5≠9。 C 、如果1+2=3，则4+5≠9； D 、1+2=3仅当4+5≠9。 3、个体域为整数集合时，下列公式（ C ）不是命题。 A 、)*(y y x y x =?? B 、)4*(=??y x y x C 、)*(x y x x =? D 、)2*(=??y x y x 4、全域关系A E 不具有下列哪个性质（ B ）。 A 、自反性 B 、反自反性 C 、对称性 D 、传递性 5、函数612)(,:+-=→x x f R R f 是（ D ）。 A 、单射函数 B 、满射函数 C 、既不单射也不满射 D 、双射函数 二、填充题（共 5 小题，每题 3 分，共15 分） 1、设|A|=4，|P(B)|=32，|P(A ?B)|=128，则|A ?B|=??2???. 2、公式)(Q P Q ?∨∧的主合取范式为 。 3、对于公式))()((x Q x P x ∨?，其中)(x P ：x=1， )(x Q ：x=2，当论域为{0,1,2}时，其真值为???1???。 4、设A ＝{1,2,3,4}，则A 上共有???15????个等价关系。 5、设A ＝{a ，b ，c }，B={1,2},则|B A |= 8 。 三、判断题（对的填T ，错的填F ，共 10 小题，每题 1 分，共计10 分） 1、“这个语句是真的”是真命题。 （ F ） 2、“张刚和小强是同桌。”是复合命题。 （ F ） 3、))(()(r q q p p ∧?∧→?∨是矛盾式。 （ T ） 4、)(T S R T R S R ??????。 （ F ） 5、恒等关系具有自反性，对称性，反对称性，传递性。 （ T ） 6、若f 、g 分别是单射,则g f ?是单射。 （ T ） 7、若g f ?是满射，则g 是满射。 （ F ） 8、若A B ?，则)()(A P B P ?。 （ T ） 9、若R 具有自反性，则1-R 也具有自反性。 （ T ） 10、B A ∈并且B A ?不可以同时成立。 （F ） 四、计算题（共 3 小题，每题 10 分，共30 分） 1、调查260个大学生，获得如下数据：64人选修数学课程，94人选修计算机课程，58人选修商贸课程，28人同时选修数学课程和商贸课程，26人同时选修数学课程和计算机课程，22人同时选修计算机课程和商贸课程，14人同时选修三门课程。问 （１）三门课程都不选的学生有多少？ （２）只选修计算机课程的学生有多少？ 离散数学考试试题(A卷及答案） 一、证明题（10分） 1) (P∧Q∧A C)∧(A P∨Q∨C ) (A∧(P Q ))C。P<->Q=(p->Q)合取（Q->p） 证明: (P∧Q∧A C)∧(A P∨Q∨C) (P ∨Q ∨A∨C)∧(A∨P∨Q∨C) ((P ∨Q ∨A)∧(A∨P∨Q))∨C反用分配律 ((P∧Q∧A)∨(A ∧P ∧Q))∨C ( A∧((P∧Q)∨(P ∧Q)))∨C再反用分配律 GAGGAGAGGAFFFFAFAF ( A∧(P Q))∨C (A∧(P Q ))C 2) (P Q)P Q。 证明：(P Q)((P∧Q))(P ∨Q))P Q。 二、分别用真值表法和公式法求(P(Q∨R))∧(P∨(Q R))的主析取范式与主合取范式，并写出其相应的成真赋值和成假赋值（15分）。 主析取范式与析取范式的区别：主析取范式里每个括号里都必须有全部的变元。 主析取范式可由析取范式经等值演算法算得。 GAGGAGAGGAFFFFAFAF 证明： 公式法：因为(P(Q ∨R))∧(P∨(Q R)) (P∨Q∨R)∧(P∨(Q ∧R )∨(Q ∧R)) (P∨Q ∨R)∧(((P∨Q)∧(P ∨R ))∨(Q ∧R ))分配律 (P∨Q∨R)∧(P∨Q ∨Q)∧(P∨Q ∨R)∧(P∨R ∨Q)∧(P∨R ∨R) (P∨Q ∨R)∧(P∨Q ∨R )∧(P ∨Q∨R) M∧5M∧6M使（非P析取Q析取R）为0 4 GAGGAGAGGAFFFFAFAF 所赋真值，即100，二进制为4 GAGGAGAGGAFFFFAFAF 第1学期 《离散数学》试卷 A （试卷共6页，答题时间120分钟） 一、选择题（每小题 2分，共 20 分。请将答案填在下面的表格内） 1、从集合分类的角度看,命题公式可分为( ) A.永真式、矛盾式 B. 永真式、可满足式、矛盾式 C. 可满足式、矛盾式 D. 永真式、可满足式 2、设B 不含有x ，))((B x A x →?等值于 ( ) A. B x xA →?)( B.))((B x A x ∨? C.B x xA →?)( D.))((B x A x ∧? 3、设S,T,M 是集合，下列结论正确的是（ ） A ．如果S ∪T=S ∪M ，则T=M B ．如果S-T=Φ，则S=T C ．S S S =⊕ D ．)(~T S T S I =- 4、设R 是集合A 上的偏序关系，则R 不一定是( ) A.自反的 B. 对称的 C. 反对称的 D. 传递的 5 设R 为实数集，定义R 上4个二元运算，不满足结合律的是（ ）。 A. f 1(x,y)= x+y B. f 2(x,y)=x-y C. f 3(x,y)=xy D. f 4(x,y)=max{x,y} 6、设 命题人： 审核人： 试卷分类（A 卷或B 卷） B 五邑大学 试 卷 学期： 2012 至 2013 学年度 第 1 学期 课程： 离散数学 课程代号： 使用班级： 姓名： 学号： 将下列命题符号化（有量词的用谓词符号，没有的用命题符号）（8分） 1. 如果天下雨，我就乘汽车上班。 2. 如果a 和b 是奇数，则a+b 不是奇数。 3．每个人或者喜欢乘汽车，或者喜欢骑自行车。 4．虽然有的人聪明，但不是每个人都聪明。 设P ：2＞1；Q (x )：x ≤3,；R (x )：x ≥6；a =5.而且论域为{-2，1，7}，求（)())()((a R x Q P x ∨→?的值。（6分） 求公式（P ∧Q ）∨（? P ∧ Q ∧ R ）的主析取范式，主合取范式。（10分） 四、（16分） （1）用命题推理理论构造下列推理。 前提：P Q ?∨，R Q ∨?，R S → 结论：P S → （2）符号化下列命题，判断它们是否有效？ 有理数和无理数都是实数，虚数不是实数。因此，虚数既不是有理数，也不是无理数。 五、 判断下图中关系的性质，并说明理由。（8分） （1） （2） （3） a 六、 证明题（10分） 证明：定义在实数集R上的关系S={x,y>| x,y∈R, (x-y)可以被5整除}是一个等价关系。 七、（12分） G={1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12,24}，p为整除关系，作出偏序集的哈斯图，令A={2, 4, 6, 11, 12}，并求出在偏序集 泉州师院2009-2010学年度第一学期 2008级计算机《离散数学》期中试卷 一、单项选择题:（20%，每空2分） 1．设A={a,{a}}，下列命题错误的是（ B ）。 A ．{a}∈P(A) B ．{a}?P(A) C ．{{a}}∈P(A) D ．{{a}}?P(A) 2、假定全集E ＝{1,2,3,4,5,6,7,8,9,10},A={3,4,5}，B ＝{2,3,4,7,8,9}，则A ∪B 的位串是（ D ）。 A ．1000000001 B ．0011100000 C ．0111001110 D ．0111101110 3、下列文氏图阴影部分所表示的集合是( A )。 A. (A-(B ∪C))∪((B ∪C)-A) B. (A-(B ∩C))∪((B ∩C)-A) C. (A-(B ∩C))∪((B ∪C)-A) D. (A-(B ∪C))∪((B ∩C)-A) 4．设p ：你主修计算机科学，q ：你是新生， r ： 你可以从校园网访问因特网。只有你主修计算机科学或不是新生，你才可以从校园网访问因特网。可符号化为( C )。 A ．r →p ∨q B ．r →p ∧q C ．r →p ∨?q D ．r →p ∨?q 5．下列是两个命题变元p ，q 的极小项是（ A ） A ．┐p ∧q B ．┐p ∨q C ．p ∧┐p ∧q D ．┐p ∨p ∨q 6、下列等值式不正确的是（ C ） A ．┐(?x)A ?(?x)┐A B ．(?x)(B →A(x))?B →(?x)A(x) C ．(?x)(A(x)∧B(x))?(?x)A(x)∧(?x)B(x) D ．(?x)(?y)(A(x)→B(y))?( ?x)A(x)→(?y)B(y) 7、若s={1,2,3,4}，S 上关系R 的关系图为： 则R 具有（ B ）性质。 A 、自反性 B 、自反性、对称性 C 、反自反性、反对称性 D 、自反性、对称性、传递性 8．设A={a,b,c,d}，A 上的等价关系R={ 《离散数学》练习题和参考答案 一、选择或填空（数理逻辑部分） 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,z 5、判断下列语句是不是命题。若是，给出命题的真值。( ) 北京是中华人民共和国的首都。 (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） P Q→ ?（2）Q P? →（3）Q P? ?（4）Q P→ ? 8、设个体域为整数集，则下列公式的意义是( )。 (1) ?x?y(x+y=0) (2) ?y?x(x+y=0) 答：（1）对任一整数x存在整数 y满足x+y=0（2）存在整数y对任一整数x满足x+y=0 9、设全体域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）T 10、设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式?x(P(x)∨Q(x))在哪个个体域中为真?( ) (1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答：（1） 11、命题“2是偶数或-3是负数”的否定是（）。答：2不是偶数且-3不是负数。 12、永真式的否定是（） (1) 永真式(2) 永假式(3) 可满足式(4) (1)--(3)均有可能答：（2） 13、公式(?P∧Q)∨(?P∧?Q)化简为（），公式 Q→(P∨(P∧Q))可化简为（）。答：?P ，Q→P 14、谓词公式?x(P(x)∨?yR(y))→Q(x)中量词?x的辖域是（）。答：P(x)∨?yR(y) 15、令R(x):x是实数，Q(x):x是有理数。则命题“并非每个实数都是有理数”的符号化表示为（）。 离散数学习题答案 习题二及答案：（P38） 5、求下列公式的主析取范式，并求成真赋值： （2）()()p q q r ?→∧∧ 解：原式()p q q r ?∨∧∧q r ?∧()p p q r ??∨∧∧ ()()p q r p q r ??∧∧∨∧∧37m m ?∨，此即公式的主析取范式， 所以成真赋值为011，111。 6、求下列公式的主合取范式，并求成假赋值： （2）()()p q p r ∧∨?∨ 解：原式()()p p r p q r ?∨?∨∧?∨∨()p q r ??∨∨4M ?，此即公式的主合取范式， 所以成假赋值为100。 7、求下列公式的主析取范式，再用主析取范式求主合取范式： （1）()p q r ∧∨ 解：原式()(()())p q r r p 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 p q r p q r ??∧?∧∨?∧∧∨∧?∧∨∧∧?∨∧∧ 13567m m m m m ? ∨∨∨∨，此即主析取范式。 主析取范式中没出现的极小项为0m ，2m ，4m ，所以主合取范式中含有三个极大项0M ，2M ，4M ，故原式的主合取范式024M M M ?∧∧。 9、用真值表法求下面公式的主析取范式： （1）()()p q p r ∨∨?∧ 解：公式的真值表如下： 由真值表可以看出成真赋值的情况有7种，此7种成真赋值所对应的极小项的析取即为主析取范式，故主析取范式 1234567m m m m m m m ?∨∨∨∨∨∨ 习题三及答案：（P52-54） 11、填充下面推理证明中没有写出的推理规则。 前提：,,,p q q r r s p ?∨?∨→ 结论：s 证明： ① p 前提引入 ② p q ?∨ 前提引入 ③ q ①②析取三段论 ④ q r ?∨ 前提引入 ⑤ r ③④析取三段论 ⑥ r s → 前提引入 ⑦ s ⑤⑥假言推理 一、 命题逻辑部分 1．计算真值表、并由此写出主析取与主合取范式 2．证明 P →(Q →R )?Q →(P →R )? ┐R →(Q → ┐P ) 3．证明从前提P →Q ，┐(Q ∨R)可演绎出┐P . 4．证明R →S 可从前提P →(Q →S)，┐R ∨P 和Q 推出。├ 5、使用推理规则或归结推理，论证推理形式 1) P →Q, R →?Q ,R ∨S, S →Q ? ├?P 2) ?P ?Q, S →?Q, ?R, R ∨S ├ P 二、 谓词逻辑 1、 写出谓词的含义、一个谓词公式的解释应包含什么内容？ 2、 并非一切劳动都能用机器代替。 解 设 L(x): x 是一种劳动, M(x): x 是一种机器, R(x, y): x 被y 代替。命题表示为: ?(?x) (L(x) → (?y) (M(y)∧R(x,y))) 3、数学分析中函数f (x)在点a 连续的定义为: 对任意的ε>0, 存在一个δ>0, 使得对所有x, 若|x – a|<δ, 则 |f (x) – f (a)|<ε, 符号化此定义。 解 令R(x): x 是实数, G(x, y): x 大于y 。 (?ε) ((R(ε)∧G(ε, 0)) → (?δ) (R(δ)∧G(δ, 0)∧(?x) ((R(x)∧G(δ, |x – a|)) →G(ε, |f (x) – f (a)| ) )))。 4、 证明等价式：┐(?x )A ?(?x )┐A 5、 证明等价式：(?x )(A (x )∧B (x ))?(?x )A (x )∧(?x )B (x ) 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 ((p →q ) →(?q →?p )) ∨r ?q →?p p →q p q r2012离散数学A卷
离散数学期末试题及答案完整版
离散数学考试试题(A卷及答案)
离散数学试题(2006)_A(答案)
离散数学试卷(2012年)
离散数学期末试卷A卷及答案
离散数学考试试题(A、B卷及答案)
离散数学试卷A答案
2012-2013五邑大学离散数学期末B卷
08计算机《离散数学》期中试卷答案
《离散数学》练习题和参考答案
离散数学习题答案
离散数学2012秋复习本科