离散数学(A)答案
离散数学试题(A卷答案)
![离散数学试题(A卷答案)](https://img.taocdn.com/s3/m/ec1a8ac481eb6294dd88d0d233d4b14e85243e71.png)
离散数学试题(A 卷答案)一、(10分)求(P ↓Q )→(P ∧⌝(Q ∨⌝R ))的主析取范式 解:(P ↓Q )→(P ∧⌝(Q ∨⌝R ))⇔⌝(⌝( P ∨Q ))∨(P ∧⌝Q ∧R ))⇔(P ∨Q )∨(P ∧⌝Q ∧R ))⇔(P ∨Q ∨P )∧(P ∨Q ∨⌝Q )∧(P ∨Q ∨R ) ⇔(P ∨Q )∧(P ∨Q ∨R )⇔(P ∨Q ∨(R ∧⌝R ))∧(P ∨Q ∨R ) ⇔(P ∨Q ∨R )∧(P ∨Q ∨⌝R )∧(P ∨Q ∨R ) ⇔0M ∧1M⇔2m ∨3m ∨4m ∨5m ∨6m ∨7m二、(10分)在某次研讨会的休息时间,3名与会者根据王教授的口音分别作出下述判断: 甲说:王教授不是苏州人,是上海人。
乙说:王教授不是上海人,是苏州人。
丙说:王教授既不是上海人,也不是杭州人。
王教授听后说:你们3人中有一个全说对了,有一人全说错了,还有一个人对错各一半。
试判断王教授是哪里人?解 设设P :王教授是苏州人;Q :王教授是上海人;R :王教授是杭州人。
则根据题意应有: 甲:⌝P ∧Q 乙:⌝Q ∧P 丙:⌝Q ∧⌝R王教授只可能是其中一个城市的人或者3个城市都不是。
所以,丙至少说对了一半。
因此,可得甲或乙必有一人全错了。
又因为,若甲全错了,则有⌝Q ∧P ,因此,乙全对。
同理,乙全错则甲全对。
所以丙必是一对一错。
故王教授的话符号化为:((⌝P ∧Q )∧((Q ∧⌝R )∨(⌝Q ∧R )))∨((⌝Q ∧P )∧(⌝Q ∧R ))⇔(⌝P ∧Q ∧Q ∧⌝R )∨(⌝P ∧Q ∧⌝Q ∧R )∨(⌝Q ∧P ∧⌝Q ∧R ) ⇔(⌝P ∧Q ∧⌝R )∨(P ∧⌝Q ∧R ) ⇔⌝P ∧Q ∧⌝R ⇔T因此,王教授是上海人。
三、(10分)证明tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。
证明 设R 是非空集合A 上的二元关系,则由定理4.19知,tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。
离散数学试题与参考答案
![离散数学试题与参考答案](https://img.taocdn.com/s3/m/383fb515ba0d4a7303763ab6.png)
离散数学试题与参考答案(总4页)--本页仅作为文档封面,使用时请直接删除即可----内页可以根据需求调整合适字体及大小--《离散数学》试题及答案一、选择题:本题共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) 1A (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分,共20分。
把答案填在对应题号后的横线上。
6. 设集合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]等势。
离散数学题库及答案
![离散数学题库及答案](https://img.taocdn.com/s3/m/0be8ea7859fafab069dc5022aaea998fcd22405d.png)
数理逻辑部分选择、填空及判断✓ 下列语句不是命题的( A )。
(A) 你打算考硕士研究生吗? (B) 太阳系以外的星球上有生物。
(C) 离散数学是计算机系的一门必修课。
(D) 雪是黑色的。
✓ 命题公式P →(P ∨⌝P )的类型是( A )(A) 永真式 (B) 矛盾式(C) 非永真式的可满足式 (D) 析取范式✓ A 是重言式,那么A 的否定式是( A )A. 矛盾式B. 重言式C. 可满足式D.不能确定✓ 以下命题公式中,为永假式的是( C )A. p →(p ∨q ∨r)B. (p →┐p)→┐pC. ┐(q →q)∧pD. ┐(q ∨┐p)→(p ∧┐p)✓ 命题公式P →Q 的成假赋值是( D )A. 00,11B. 00,01,11C.10,11D. 10✓ 谓词公式),()(y x R x xP ∧∀中,变元x 是 ( B )A. 自由变元B. 既是自由变元也是约束变元C. 约束变元D. 既不是自由变元也不是约束变元✓ 命题公式P →(Q ∨⌝Q)的类型是( A )。
(A) 永真式 (B) 矛盾式(C) 非永真式的可满足式 (D) 析取范式✓ 设B 不含变元x ,))((B x A x →∃等值于( A )A. B x xA →∀)(B. ))((B x A x ∨∃C. B x xA →∃)(D. B x A x ∧∃)(( ✓ 下列语句中是真命题的是( D )。
A .你是杰克吗?B .凡石头都可练成金。
C .如果2+2=4,那么雪是黑的。
D .如果1+2=4,那么雪是黑的。
✓ 从集合分类的角度看,命题公式可分为( B )A. 永真式、矛盾式B. 永真式、可满足式、矛盾式C. 可满足式、矛盾式D. 永真式、可满足式✓ 命题公式﹁p ∨﹁q 等价于( D )。
A. ﹁p ∨qB. ﹁(p ∨q)C. ﹁p ∧qD. p →﹁q✓ 一个公式在等价意义下,下面写法唯一的是( D )。
离散数学考试试题(A卷及答案)
![离散数学考试试题(A卷及答案)](https://img.taocdn.com/s3/m/7ee9afc077a20029bd64783e0912a21614797f2b.png)
离散数学考试试题(A卷及答案)离散数学考试试题(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⼈⾄少乘坐过其中的两种。
离散数学期末考试试卷a答案及评分细则
![离散数学期末考试试卷a答案及评分细则](https://img.taocdn.com/s3/m/a1f96fff0875f46527d3240c844769eae009a32e.png)
………密………封………线………以………内………答………题………无………效……电子科技大学英才学院2022 -2022学年第 1学期期 末 考试 A 卷离散数学 课程考试题 A 卷 〔 120分钟〕 考试形式:闭卷 考试日期 2022 年 月 日课程成绩构成:平时 分, 期中 分, 实验 分, 期末 100 分I.Multiple Choice (15%, 1.5 points each)〔A 〕 1. (p ∧q)→(p ∨q) is logically equivalent toa) T b) p ∨q c) F d) p ∧q〔A 〕 2. If P(A) is the power set of A, and A = ∅, what is |P(P(P(A)))|?a) 4 b) 24 c) 28 d) 216〔C 〕 3. Which of these statements is NOT a proposition?a) Today is Monday. ` b) 1+1=2.c) Am I right? d) Go and play with me.〔C 〕 4. Which of these propositions is not logically equivalent to the other three?a) (p → q) ∧ (r → q) b) (p ∨ r) → qc) (p ∧r) → q d) The contrapositive of ¬q → (¬p ^ ¬r)〔B 〕 5. Suppose | A | = 3 and | B | = 8. The number of 1-1 functions f : A → B isa) 24 b) P (8,3). c) 38 d) 83〔B 〕 6. Let R be a relation on the positive integers where xRy if x is a factor of y . Whichof the following lists of properties best describes the relation R ? a) symmetric, transitiveb) antisymmetric, transitive, reflexive c) antisymmetric, symmetric, reflexive d) symmetric, transitive, reflexive〔C 〕 7. Which of the following are partitions of },,,,,,,{h g f e d c b a U =?a)},,,,,{},,,{},{h g f e d c c b a a . b) },,,,,{},,{},{h g f e d c c b a c) }{},,{},,{},,,{h f e c b g d a . d) },,,,{},,{},,{h g f e d c b b a〔C 〕 8. The function f(x)=x 2log(x 3+78) is big-O of which of the following functions?a) x 2 b) x(logx)3 c) x 2logx d) xlogx〔A 〕 9.If 1010110111101101R ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦M , then R is: a) reflexive b) symmetric c) antisymmetric d) transitive.〔B 〕 10. Which of the followings is a function from Z to R ?………密………封………线………以………内………答………题………无………效……a) )1()(-±=n n f . ` b) 1)(2+=x x f . c) x x f =)( d) 21)(2-=n n fII. True or False (10%, 1 point each) 〔T 〕 1. If 1 < 0, then 5 = 6. 〔F 〕 2. (p ∧ q) ∨ r ≡ p ∧ (q ∨ r)〔F 〕 3. If A , B , and C are sets, then (A -C )-(B -C )=A -B . 〔T 〕 4. Suppose A = {a ,b ,c }, then {{a }} ⊆ P (A ).〔F 〕 5.()h x =is defined as a function with domain R and codomain R.〔T 〕 6. Suppose g : A → B and f : B → C , where f g is 1-1 and f is 1-1. g must be 1-1? 〔T 〕 7. If p and q are primes (> 2), then p + q is composite .〔F 〕 8.If the relation R is defined on the set Z where aRb means that ab > 0, then R is an equivalence relation on Z .〔T 〕 9. (A - B ) ⋃ (A - C ) = A - (B ⋂ C ).〔T 〕 10. The set{∅,{a },{∅},{a ,∅}} is the power set of some set III. Fill in the Blanks (20%, 2 points each)1. Let p and q be the propositions “I am a criminal 〞 and “I rob banks 〞. Express in simpleEnglish the proposition “if p then q 〞: If I am a criminal them I rob banks. 2. P (x ,y ) means “x + 2y = xy 〞, where x and y are integers. The truth value of ∃x ∀yP (x ,y )is False .3. T he negation of the statement “No tests are easy.〞 is some tests are easy.4. If 11{|}i A x x R x i i =∈∧-≤≤ then 1i i A +∞=is ∅.5. Suppose A = {x , y }. Then ()P A is {∅, {x}, {y},{x,y}}.6. Suppose g : A →A and f :A →A where A ={1,2,3,4},g = {(1, 4), (2,1), (3,1), (4,2)} andf ={(1,3),(2,2),(3,4),(4,2)}.Then fg ={(1,2),(2,3),(3,3),(4,2)}.7. The sum of 2 + 4 + 8 + 16 + 32 + ... + 210 is 211 - 2 .8. The expression of gcd(45, 12) as a linear combination of 12 and 45 is 12 ⋅ 4 + 45 ⋅ (1). 9.There are 5! permutations of the seven letters A,B ,C ,D ,E ,F have A immediately to the left of E .10. The two's complement of -13 is 1 0011 . IV. Answer the Questions (32%, 4points each):1. Determine whether the following argument is valid:………密………封………线………以………内………答………题………无………效……p→rq→rq∨⌝r________∴⌝pAns: Not valid: p true, q true, r true2.Suppose you wish to prove a theor em of the form “if p then q〞.(a) If you give a direct proof, what do you assume and what do you prove?(b) If you give an indirect proof, what do you assume and what do you prove?(c) If you give a proof by contradiction, what do you assume and what do you prove? Ans: (a) Assume p, prove q.(b) Assume ⌝q, prove ⌝p.(c) Assume p∧⌝q, show that this leads to a contradiction.3.Prove that A B A B⋂=⋃by giving a proof using logical equivalence.Ans:()()()() A B x x A Bx x A Bx x A Bx x A x Bx x A x Bx x A x Bx x A x Bx x A B A B ⋂={|∈⋂}={|∉⋂}={|⌝∈⋂}={|⌝∈∧∈}={|⌝∈∨⌝∈}={|∉∨∉}={|∈∨∈}={|∈⋃}=⋃4.Suppose f:R→R where f(x) =⎣x/2⎦.(a) If S={x| 1 ≤x≤ 6}, find f(S).(b) If T={3,4,5}, find f-1(T). Ans: (a) {0,1,2,3}(b) [6,12).e the definition of big-oh to prove that5264473n nn+--is O(n3).………密………封………线………以………内………答………题………无………效……Ans: 5555322226446410573763n n n n n n n n n n +-+≤==--, if n ≥ 2. 6. Solve the linear congruence 5x ≡ 3 (mod 11).Ans: 5 + 11k .7. Use the Principle of Mathematical Induction to prove that 1311392732n n+-++++...+= for alln ≥ 0.Ans: P (0):13112-= , which is true since 1 = 1. P (k ) → P (k + 1):111211313123311333222k k k k k k ++++++--+⋅-++...+=+==.8.Encrypt the message NEED HELP by translating the letters into numbers, applying the encryption function f(p ) = (3p + 7) mod 26, and then translating the numbers back into letters.Ans: Encrypted form: UTTQ CTOA.V. (6%) Without using the truth table, show that the following are tautologiesa) [⌝p ∧(p ∨q)]→q b) [p ∧(p →q)]→qAns:a) ⌝p ∧(p ∨q)≡(⌝p ∧p)∨(⌝p ∧ q)≡flase[⌝p ∧(p ∨q)]→q ≡ false →q ≡⌝false ∨q ≡true ∨q ≡true (3points)b)[p ∧(p →q)]→q ≡(⌝[p ∧(⌝p ∨q)])∨q ≡(⌝p ∨(p ∧⌝q))∨q ≡((⌝p ∨p)∧(⌝p ∨⌝q))∨q ≡⌝p ∨⌝q ∨q ≡true (3points)VI. (6%) Devise an algorithm which will find the minimum of n integers. What is the worst case time………密………封………线………以………内………答………题………无………效……complexity of this algorithm?a) procedure min(a1, a2, …, an: integers)(4points)v := a1 {largest element so far}for i := 2 to n {go thru rest of elems}if ai < v then v := ai {found smaller?}{at this poi nt v’s value is the same as the smallest integer in the list}return vb) the worst case time complexity of this algorithm is O(n). (2points)VII.(5%) Give the definition of a transitive relation, and Prove or disprove that the union of two transitive relations is transitive.Ans: A relation R on a set A is called transitive if only if (a,b)∈R and (b,c)∈R ,then (a,c) ∈R ,for a,b,c ∈A. (2points)The union of two transitive relations may be not transitive. A counter-example:A={1,2,3}, R1= {<1,1>, <2,3>}, R2={<1,2><3,3> }R1∪R2={<1.1>, <2,3><1,2><3,3>}, which is not transitive. (3points)VIII.(6%) Give an argument using rules of inference to show that the conclusion follows from the hypotheses. List all the steps in your argument.Hypotheses: All computer scientists like Star Trek. Sarah does not like Star Trek. Therefore, Sarah is not a computer scientist.Solution:Hypotheses: ∀x(ComputerScientist(x) →Likes(x, StarTrek))¬Likes(Sarah, StarTrek)Conclusion: ¬ComputerScientist(Sarah)Step 1: ∀x(ComputerScientist(x) →Likes(x, StarTrek)) (Hypothesis)Step 2: ComputerScientist(Sarah) →Likes(Sarah, StarTrek) (Univ. Inst. Step 1)Step 3: ¬Likes(Sarah, StarTrek) (Hypothesis)Step 4: ¬ComputerScientist(Sarah) (Modus Toll. St. 2+3)The argument is sound.Grading rubric: -3 points for making wrong assumptions.-2 points for not being able to complete the proof.-1 to -3 points for illegal usage of inference rules.。
离散数学复习题及答案
![离散数学复习题及答案](https://img.taocdn.com/s3/m/4005997ccc7931b765ce15ec.png)
总复习题(一)一.单选题1 (C)。
一连通的平面图,5个顶点3个面,则边数为()。
、4 、5 、6 、72、 (A)。
如果一个简单图,则称为自补图,非同构的无向4阶自补图有()个。
、1 、2 、3 、43、 (D)。
为无环有向图,为的关联矩阵,则()。
、是的终点、与不关联、与关联、是的始点4、 (B)。
一连通的平面图,8个顶点4个面,则边数为。
、9 、10 、11 、125、 (D)。
如果一个简单图,则称为自补图,非同构的3阶有向完全图的子图中自补图有个。
、1 、2 、3 、46、21条边,3个4度顶点,其余顶点为3度的无向图共有个顶点。
、13 、12 、11 、107、 (D)。
有向图的通路包括。
、简单通路、初级通路、复杂通路、简单通路、初级通路和复杂通路8、 (D)。
一连通的平面图,9个顶点5个面,则边数为。
、9 、10 、11 、129、21条边,3个4度顶点,其余顶点为3度的无向图共有个顶点。
、13 、12 、11 、1010、 (D)。
有向图的通路包括。
、简单通路、初级通路、复杂通路、简单通路、初级通路和复杂通路11、 (D)。
一连通的平面图,9个顶点5个面,则边数为。
、9 、10 、11 、1212、 (B)。
为有向图,为的邻接矩阵,则。
、邻接到的边的条数是5、接到的长度为4的通路数是5A B C D GG ≅G A B C D E ,V D =[]m n ij m ⨯D 1m ij =A i v je B i v j e C i v j e D i v j e A B C D GG ≅G A B C D A B C D A B C D A B C D A B C D A B C D A B C D E ,V D=[]n n ij a ⨯D 5a )4(ij =A i v j v B i v j v、长度为4的通路总数是5、长度为4的回路总数是513、 (C)。
在无向完全图中有个结点,则该图的边数为()。
离散数学课后习题答案
![离散数学课后习题答案](https://img.taocdn.com/s3/m/62d12adad15abe23482f4d51.png)
1.3.1习题1.1解答1设S = {2,a,{3},4},R ={{a},3,4,1},指出下面的写法哪些是对的,哪些是错的?{a}∈S,{a}∈R,{a,4,{3}}⊆S,{{a},1,3,4}⊂R,R=S,{a}⊆S,{a}⊆R,φ⊆R,φ⊆{{a}}⊆R⊆E,{φ}⊆S,φ∈R,φ⊆{{3},4}。
解:{a}∈S ,{a}∈R ,{a,4,{3}} ⊆ S ,{{a},1,3,4 } ⊂ R ,R = S ,{a}⊆S ,{a}⊆ R ,φ⊆ R ,φ⊆ {{a}} ⊆ R ⊆ E ,{φ} ⊆ S ,φ∈R ,φ⊆ {{3},4 } 2写出下面集合的幂集合{a,{b}},{1,φ},{X,Y,Z}解:设A={a,{b}},则ρ(A)={ φ,{a},{{b}},{a,{b}}};设B={1,φ},则ρ(B)= { φ,{1},{φ},{1,φ}};设C={X,Y,Z},则ρ(C)= { φ,{X},{Y},{Z},{X,Y },{X,Z },{ Y,Z },{X,Y,Z}};3对任意集合A,B,证明:(1)A⊆B当且仅当ρ(A)⊆ρ(B);(2)ρ(A)⋃ρ(B)⊆ρ(A⋃B);(3)ρ(A)⋂ρ(B)=ρ(A⋂B);(4)ρ(A-B) ⊆(ρ(A)-ρ(B)) ⋃{φ}。
举例说明:ρ(A)∪ρ(B)≠ρ( A∪B)证明:(1)证明:必要性,任取x∈ρ(A),则x⊆A。
由于A⊆B,故x⊆B,从而x∈ρ(B),于是ρ(A)⊆ρ(B)。
充分性,任取x∈A,知{x}⊆A,于是有{x}∈ρ(A)。
由于ρ(A)⊆ρ(B),故{x}∈ρ(B),由此知x∈B,也就是A⊆B。
(2)证明:任取X∈ρ(A)∪ρ(B),则X∈ρ(A)或X∈ρ(B)∴X⊆A或X⊆B∴X⊆(A∪B)∴X∈ρ(A∪B)所以ρ(A)∪ρ(B) ⊆ρ( A∪B)(3)证明:先证ρ(A)∩ρ(B) ⊆ρ( A∩B)任取X∈ρ(A)∩ρ(B),则X∈ρ(A)且X∈ρ(B)∴X⊆A且X⊆B∴X⊆ A∩B∴X∈ρ( A∩B)所以ρ(A)∩ρ(B) ⊆ρ( A∩B)再证ρ( A∩B) ⊆ρ(A)∩ρ(B)任取Y∈ρ(A∩B),则Y⊆ A∩B∴Y⊆A且Y⊆B∴Y∈ρ(A)且Y∈ρ(B)∴Y∈ρ(A)∩ρ(B)所以ρ( A∩B) ⊆ρ(A)∩ρ(B)故ρ(A)∩ρ(B) = ρ( A∩B)得证。
《离散数学》试卷A及答案
![《离散数学》试卷A及答案](https://img.taocdn.com/s3/m/34f87fd54b73f242326c5f87.png)
《离散数学》试卷(A)适用专业: 考试日期:试卷类型:闭卷 考试时间:120分钟 试卷总分:100分一、单项选择题(本大题共8小题,每小题3分,共24分)1、下述哪一个不是命题?( ) A 、离散数学是计算机系的一门必修课 B 、不存在最大偶数。
C 、若我有空,我就看书。
D 、请勿随地叶痰!2、设A={a,b,c},B={1,2,3},以下哪一个关系是从A 到B 的双射函数?( ) A 、f={<a,2>,<b,2>,<c,1>} B 、f={<a,3>,<b,1>,<c,2>} C 、f={<a,1>,<b,2>,<c,3>,<a,3>} D 、f={<a,1>,<b,2>,<a,3>}3.设<G, 。
>是群,且|G|>1,则下列命题不成立的是( )A.G 中有幺元B. G 中有零元C.G 中任一元素有逆元D. G 中除幺元外无其它幂等元 4、设A={}c b a ,,,则下列是集合A 的划分的是( ) A.{}{}{}c c b ,, B. {}{}{}c a b a ,,, C.{}{}c b a ,, D.{}{}{}c b a ,, 5.设集合A={a,{b}},下面四个命题为真的是A.a 包含于AB.φ∈AC.{b}包含于AD.φ包含于A 6、下列是命题公式p ∧(q ∨⌝r)的成真指派的是( ) A.110,111,100 B.110,101,011 C 所有指派 D.无 7、与一阶公式P(x)→VxQ(x)等值的公式是A.P(y)→VyQ(y)B.P(y)→VxQ(y)C.P(x)→VyQ(y)D.P(z)→VyQ(y)8、设A 和B 都是命题,则A →B 的真值为假当且仅当( ) A 、A 为0 ,B 为1 B 、A 为0 ,B 为0 C 、A 为1 ,B 为1 D 、A 为1 ,B 为0二、填空题(本大题共7小题,每空3分,共21分)1..设A={a,b,c},F 是A 上的二元关系,F={<a,c>,<b,a>,<c,b>},则其自反闭包为r(F)= 。
离散数学期末试题及答案A
![离散数学期末试题及答案A](https://img.taocdn.com/s3/m/7c802e3c1eb91a37f0115c17.png)
学年第二学期期末考试《离散数学》试卷( A )使用班级:命题教师:主任签字:一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个选项中只有一个选项是符合题目要求的,请将正确选项前的字母填在题后的括号内。
1.一个连通的无向图G,如果它的所有结点的度数都是偶数,那么它具有一条( )A.汉密尔顿回路B.欧拉回路C.汉密尔顿通路D.初级回路2.设G是连通简单平面图,G中有11个顶点5个面,则G中的边是( )A.10B.12C.16D.143.在布尔代数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∈ZD.〈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 AB.RC.R∪{〈c,a〉}D.R∩I A9.设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<y.下列公式在R下为真的是( )A.( ∀x)( ∀y)( ∀z)(A(x,y))→A(f(x,z),f(y,z))B.( ∀x)A(f(a,x),a)C.(∀x)(∀y)(A(f(x,y),x))D.(∀x)(∀y)(A(x,y)→A(f(x,a),a))12.设B是不含变元x的公式,谓词公式(∀x)(A(x)→B)等价于( )A.(∃x)A(x)→BB.(∀x)A(x)→BC.A(x)→BD.(∀x)A(x)→(∀x)B13.谓词公式(∀x)(P(x,y))→(∃z)Q(x,z)∧(∀y)R(x,y)中变元x( )A.是自由变元但不是约束变元B.既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元14.若P:他聪明;Q:他用功;则“他虽聪明,但不用功”,可符号化为( )A.P∨QB.P∧┐QC.P→┐QD.P∨┐Q15.以下命题公式中,为永假式的是( )A.p→(p∨q∨r)B.(p→┐p)→┐pC.┐(q→q)∧pD.┐(q∨┐p)→(p∧┐p)二、填空题(每空1分,共20分)16.在一棵根树中,仅有一个结点的入度为______,称为树根,其余结点的入度均为______。
离散数学试题及答案
![离散数学试题及答案](https://img.taocdn.com/s3/m/c2af2724453610661ed9f49d.png)
离散数学考试试题(A卷及答案)一、(10分)某项工作需要派A、B、C和D 4个人中的2个人去完成,按下面3个条件,有几种派法?如何派?(1)若A去,则C和D中要去1个人;(2)B和C不能都去;(3)若C去,则D留下。
解设A:A去工作;B:B去工作;C:C去工作;D:D去工作。
则根据题意应有:A→C⊕D,⌝(B ∧C),C→⌝D必须同时成立。
因此(A→C⊕D)∧⌝(B∧C)∧(C→⌝D)⇔(⌝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∧⌝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分)在谓词逻辑中构造下面推理的证明:某学术会议的每个成员都是专家并且是工人,有些成员是青年人,所以,有些成员是青年专家。
解:论域:所有人的集合。
S(x):x是专家;W(x):x是工人;Y(x):x是青年人;则推理化形式为:∀x(S(x)∧W(x)),∃x Y(x)∃x(S(x)∧Y(x))下面给出证明:(1)∃x Y(x) P(2)Y(c) T(1),ES(3)∀x(S(x)∧W(x)) P(4)S( c)∧W( c) T(3),US(5)S( c) T(4),I(6)S( c)∧Y(c) T(2)(5),I(7)∃x S((x)∧Y(x)) T(6) ,EG三、(10分)设A、B和C是三个集合,则A⊂B⇒⌝(B⊂A)。
《离散数学》课后习题答案
![《离散数学》课后习题答案](https://img.taocdn.com/s3/m/295f94556c175f0e7dd13713.png)
1-1,1-2(1)解:a)是命题,真值为T。
b)不是命题。
c)是命题,真值要根据具体情况确定。
d)不是命题。
e)是命题,真值为T。
f)是命题,真值为T。
g)是命题,真值为F。
h)不是命题。
i)不是命题。
(2)解:原子命题:我爱北京天安门。
复合命题:如果不是练健美操,我就出外旅游拉。
(3)解:a)(┓P ∧R)→Qb)Q→Rc)┓Pd)P→┓Q(4)解:a)设Q:我将去参加舞会。
R:我有时间。
P:天下雨。
Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。
b)设R:我在看电视。
Q:我在吃苹果。
R∧Q:我在看电视边吃苹果。
c) 设Q:一个数是奇数。
R:一个数不能被2除。
(Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。
(5) 解:a)设P:王强身体很好。
Q:王强成绩很好。
P∧Qb)设P:小李看书。
Q:小李听音乐。
P∧Qc)设P:气候很好。
Q:气候很热。
P∨Qd)设P: a和b是偶数。
Q:a+b是偶数。
P→Qe)设P:四边形ABCD是平行四边形。
Q :四边形ABCD的对边平行。
P Qf)设P:语法错误。
Q:程序错误。
R:停机。
(P∨ Q)→ R(6) 解:a)P:天气炎热。
Q:正在下雨。
P∧Qb)P:天气炎热。
R:湿度较低。
P∧Rc)R:天正在下雨。
S:湿度很高。
R∨Sd)A:刘英上山。
B:李进上山。
A∧Be)M:老王是革新者。
N:小李是革新者。
M∨Nf)L:你看电影。
M:我看电影。
┓L→┓Mg)P:我不看电视。
Q:我不外出。
R:我在睡觉。
P∧Q∧Rh)P:控制台打字机作输入设备。
Q:控制台打字机作输出设备。
P∧Q1-3(1)解:a)不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式)b)是合式公式c)不是合式公式(括弧不配对)d)不是合式公式(R和S之间缺少联结词)e)是合式公式。
(2)解:a)A是合式公式,(A∨B)是合式公式,(A→(A∨B))是合式公式。
离散数学考试试题(A、B卷及答案)
![离散数学考试试题(A、B卷及答案)](https://img.taocdn.com/s3/m/6f02c327bd64783e09122bab.png)
离散数学考试试题(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再反用分配律⇔⌝( A∧(P↔Q))∨C⇔(A∧(P↔Q))→C2) ⌝(P↑Q)⇔⌝P↓⌝Q。
证明:⌝(P↑Q)⇔⌝(⌝(P∧Q))⇔⌝(⌝P∨⌝Q))⇔⌝P↓⌝Q。
二、分别用真值表法和公式法求(P→(Q∨R))∧(⌝P∨(Q↔R))的主析取范式与主合取范式,并写出其相应的成真赋值和成假赋值(15分)。
主析取范式与析取范式的区别:主析取范式里每个括号里都必须有全部的变元。
主析取范式可由析取范式经等值演算法算得。
证明:公式法:因为(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)⇔4M∧5M使(非P析取Q析取R)为0所赋真值,即100,二进制M∧6为4⇔0m∨1m∨2m∨3m∨7m所以,公式(P→(Q∨R))∧(⌝P∨(Q↔R))为可满足式,其相应的成真赋值为000、001、010、011、111:成假赋值为:100、101、110。
真值表法:P Q R Q↔R P→(Q∨R)⌝P∨(Q↔R) (P→(Q∨R))∧(⌝P∨(Q↔R))0 0 0 0 0 1 0 1 00 1 11 0 0 1 0 1 1 1 0 1 1 1 1111111111111111111111由真值表可知,公式(P→(Q∨R))∧(⌝P∨(Q↔R))为可满足式,其相应的成真赋值为000、001、010、011、111:成假赋值为:100、101、110。
离散数学参考答案
![离散数学参考答案](https://img.taocdn.com/s3/m/527a753b0a4e767f5acfa1c7aa00b52acfc79c34.png)
1.(单选题)A.明年“五一”是晴天。
B.这朵花多好看呀!。
C.这个男孩真勇敢啊! D.明天下午有会吗?答题: A. B. C. D. (已提交)参考答案:A问题解析:2.(单选题) 在上面句子中,是命题的是( )A.1+101=110 B.中国人民是伟大的。
C.这朵花多好看呀! D.计算机机房有空位吗?答题: A. B. C. D. (已提交)参考答案:B问题解析:3.(单选题) 在上面句子中,是命题的是( )A.如果天气好,那么我去散步。
B.天气多好呀!C.x=3。
D.明天下午有会吗?答题: A. B. C. D. (已提交)参考答案:A问题解析:4.(单选题) 在上面句子中( )是命题下面的命题不是简单命题的是( )A.3 是素数或4 是素数B.2018 年元旦下大雪C.刘宏与魏新是同学 D.圆的面积等于半径的平方与π之积答题: A. B. C. D. (已提交)参考答案:A问题解析:5.(单选题) 下面的表述与众不一致的一个是( )A.P :广州是一个大城市 B.ØP :广州是一个不大的城市C.ØP :广州是一个很不小的城市 D.ØP :广州不是一个大城市答题: A. B. C. D. (已提交)参考答案:C问题解析:6.(单选题) 设,P:他聪明;Q:他用功。
在命题逻辑中,命题:“他既聪明又用功。
”可符号化为:()A.PÙQ B.P®QC.PÚØQ D.PÙØQ答题: A. B. C. D. (已提交)参考答案:A问题解析:7.(单选题) 设:P :刘平聪明。
Q:刘平用功。
在命题逻辑中,命题:“刘平不但聪明,而且用功”可符号化为:()A.PÙQ B.ØPÚQC.PÚØQ D.PÙØQ答题: A. B. C. D. (已提交)参考答案:A问题解析:8.(单选题)设:P:他聪明;Q:他用功。
(完整版)哈工大《离散数学》教科书习题答案
![(完整版)哈工大《离散数学》教科书习题答案](https://img.taocdn.com/s3/m/2569ad94227916888586d73b.png)
教材习题解答第一章 集合及其运算8P 习题3. 写出方程2210x x ++=的根所构成的集合。
解:2210x x ++=的根为1x =-,故所求集合为{1}- 4.下列命题中哪些是真的,哪些为假a)对每个集A ,A φ∈;b)对每个集A ,A φ⊆; c)对每个集A ,{}A A ∈;d)对每个集A ,A A ∈; e)对每个集A ,A A ⊆;f)对每个集A ,{}A A ⊆; g)对每个集A ,2A A ∈;h)对每个集A ,2A A ⊆; i)对每个集A ,{}2A A ⊆;j)对每个集A ,{}2A A ∈; k)对每个集A ,2A φ∈;l)对每个集A ,2A φ⊆; m)对每个集A ,{}A A =;n){}φφ=;o){}φ中没有任何元素;p)若A B ⊆,则22A B ⊆q)对任何集A ,{|}A x x A =∈;r)对任何集A ,{|}{|}x x A y y A ∈=∈; s)对任何集A ,{|}y A y x x A ∈⇔∈∈;t)对任何集A ,{|}{|}x x A A A A ∈≠∈; 答案:假真真假真假真假真假真真假假假真真真真真 5.设有n 个集合12,,,n A A A 且121n A A A A ⊆⊆⊆⊆,试证: 12n A A A ===证明:由1241n A A A A A ⊆⊆⊆⊆⊆,可得12A A ⊆且21A A ⊆,故12A A =。
同理可得:134n A A A A ====因此123n A A A A ====6.设{,{}}S φφ=,试求2S ?解:2{,{},{{}},{,{}}}S φφφφφ=7.设S 恰有n 个元素,证明2S 有2n 个元素。
证明:(1)当n =0时,0,2{},212S S S φφ====,命题成立。
(2)假设当(0,)n k k k N =≥∈时命题成立,即22S k =(S k =时)。
那么对于1S ∀(11S k =+),12S 中的元素可分为两类,一类为不包含1S 中某一元素x 的集合,另一类为包含x 的集合。
离散数学试题及答案解析
![离散数学试题及答案解析](https://img.taocdn.com/s3/m/07c8c9a476c66137ee0619e3.png)
________________________,R2R1 =____________________________,
R12
=________________________.
10. 设有限集 A, B,|A| = m, |B| = n, 则| |(AB)| = _____________________________.
合映射•,•, •, •,••.
4. 设 I 是如下一个解释:D = {2, 3},
a
b
f (2) f (3)
3
2
3
2
试求 (1) P(a, f (a))∧P(b, f (b));
P(2, 2) P(2, 3) P(3, 2) P(3, 3)
0
0
1
1
(2) xy P (y, x).
5. 设集合 A={1, 2, 4, 6, 8, 12},R 为 A 上整除关系。
第 2 页 共 18 页
是( ).
(A)恒真的 (B)恒假的 (C)可满足的 (D)前束范式.
8 设命题公式 G=(PQ),H=P(QP),则 G 与 H 的关系是( )。
(A)GH (B)HG (C)G=H (D)以上都不是.
9 设 A, B 为集合,当( )时 A-B=B.
(A)A=B
(B)AB
=_________________________;A-B= _____________________ .
7. 设 R 是集合 A 上的等价关系,则 R 所具有的关系的三个特性是______________________,
________________________, _______________________________.
(大学试卷)2011.7《离散数学》考试卷A答案
![(大学试卷)2011.7《离散数学》考试卷A答案](https://img.taocdn.com/s3/m/9c062a06551810a6f52486f0.png)
离散数学课程考试试卷A专业:信计考试日期: 所需时间:120分钟总分:100分 闭卷 一、选择题(每小题2分,总共20分)1、设P :我们划船,Q :我们跑步。
命题“我们不能既划船又跑步”符号化为( B )A 、Q P ⌝∧⌝B 、Q P ⌝∨⌝C 、)(Q P ↔⌝D 、)(Q P ⌝↔2、下列语句中哪个是真命题?( D )A 、我正在说谎。
B 、严禁吸烟C 、如果1+2=3,那么雪是黑的。
D 、如果1+2=5,那么雪是黑的。
3、命题公式Q Q P P →→∧))((是( C ) A 、矛盾式 B 、蕴含式 C 、重言式 D 、等值式4、谓词公式)())()((x Q y yR x P x →∃∨∀中变元x 是( D ) A 、自由变量 B 、约束变量 C 、既不是自由变量也不是约束变量 D 、既是自由变量也是约束变量5、若个体域为整数域,下列公式中哪个值为真?( A ) A 、)0(=+∃∀y x y x B 、)0(=+∀∃y x x y C 、)0(=+∀∀y x y x D 、)0(=+∃⌝∃y x y x6、设个体域A={a,b},公式)()(x xS x xP ∃∧∀在A 中消去量词应为( B ) A 、)()(x S x P ∧ B 、))()(()()(b S a S b P a P ∨∧∧ C 、)()(b S a P ∧ D 、)()()()(b S a S b P a P ∨∧∧8、设A={{1,2,3},{4,5},{6,7,8}},下列正确的是( C ) A 、1∈A B 、{1,2,3}⊆A C 、{{4,5}}⊂A D 、Φ∈A 9、幂集P (P (P (Φ)))为( C )A 、{{Φ},{Φ,{Φ}}}B 、{Φ,{Φ},{Φ,{Φ}}}C 、{Φ,{Φ},{Φ,{Φ}},{{Φ}}}D 、{Φ,{Φ,{Φ}}} 10、任意一个具有多个等幂元的半群,它( A )A 、不能构成群B 、不一定能构成群C 、能构成群D 、不能构成交换群 二、填空题(每小题3分,总共24分)1、设A 为任意的公式,B 为重言式,则B A ∨的类型为 重言式2、设q p q p →⌝为命题变项,,的成真赋值为10,11,013、设集合A={x|x <3,x ∈Z},B={x|x=2k,k ∈Z} C={1,2,3,4,5},则A ⊕(C-B )={0,2,4,6,7,8}4、某校有足球队员38人,篮球队员15人,排球队员20人,三队队员总数为58人,其中只有3人同时参加3种球队,则仅仅参加两种球队的队员为9人 。
离散数学试卷及参考答案
![离散数学试卷及参考答案](https://img.taocdn.com/s3/m/20e1647589eb172dec63b77b.png)
济南大学继续教育学院离散数学试卷(A)学年:学期:年级:专业:学习形式:层次:(本试题满分100分,时间90分钟)一、选择(每题2分,共18分)1.设简单图G所有结点的度之和为12,则G一定有 ( ) 条边。
A. 3B. 4C. 5D. 62.设G是一棵树,则G 的生成树有 ( B ) 棵A. 0B. 1C. 2D.不能确定3. 若供选择答案中的数值表示一个简单图中各个顶点的度,能画出图的是( )。
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).4. 命题∀xG(x)取真值1的充分必要条件是( )。
A.对任意x,G(x)都取真值1.B.有一个x0,使G(x0)取真值1.C.有某些x,使G(x0)取真值1.D.以上答案都不对.5.设集合A={2,{a},3,4},B = {{a},3,4,1},E为全集,则下列命题正确的是( )。
A. {2}∈AB. {a}⊆AC. ∅⊆{{a}}⊆B⊆ED. {{a},1,3,4}⊂B.6. 下列关于集合的表示中正确的为( )。
A.{a}∈{a,b,c}B. {a}⊆{a,b,c}C. ∅∈{a,b,c}D. {a,b}∈{a,b,c}7.下列式子正确的是 ( )。
A. p →q = q →pB. p →q = ⌝q ∨ pC. p →q,q →s ⇒ p →sD. p ↔q = (p → q) ∨ (q→ p)8.下列语句中,( )是命题。
A.请把门关上B.地球外的星球上也有人C. x + 5 > 6D. 下午有会吗?9.设G、H是一阶逻辑公式,P是一个谓词,G=∃xP(x), H=∀xP(x),则一阶逻辑公式G→H是( )。
A. 恒真的第 1 页共 13 页。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学(A)答案
杭州师范大学钱江学院2013 —2014 学年第二学期期末试卷
_ _《 离散数学 》(A)卷
命题教师_田正平_
一、判断题(对的打∨,错的打⨯;每空2分,共20分)
1、 “如果南京大学不在上海,那么上海大学在南京。
”是假命题。
( ∨ )
2、 命题)(q p p ⌝∨→是矛盾式。
( ⨯ )
3、 B x xA B x A x →∃⇒→∀)())((。
( ∨ )
4、 设集合},,{c b a X =上的关系R 的关系矩阵是⎪⎪⎪
⎭
⎫
⎝⎛=000101111R M ,则关系R 是传
递关系( ⨯ )
5、 对称关系一定不是反对称关系。
( ⨯ )
6、 有限偏序集),(≤X 必定存在最小元。
( ⨯ )
7、 在复数集合C 上关系}),{(2
2
2
2
d c b a di c bi a R +=+++=是等价关系。
( ∨ )
8、 无向连通图),(E V G =的每一个顶点的度数)(v d 都是偶数,则图G 是欧拉图。
( ⨯ )
9、 无向图),(E V G =的每一个顶点的度数2
)(V v d ≥
,则图G 是哈密顿图。
( ⨯ )
10、在顶点个数不小于2的简单无向图中,必有度数相同的顶点。
( ∨ )
二、填空题(每空4分,共28分)
1、将命题:“下个星期我将去上海或苏州出差。
”符号化。
设命题P :下个星期我将去上海出差,Q :下个星期我将去苏州出差。
则命题:“下个星期我将去上海或苏州出差。
”可以符号化为:)()(Q P Q P ∧⌝∨⌝∧
2、若个体域为全总个体域,将命题:“没有不犯错误的人。
”符号化。
设谓词x x P :)(是人,x x Q :)(犯错误。
命题:“没有不犯错误的人。
”可以符号化为: ))()((x Q x P x →∀ 或者 ))()((x Q x P x ⌝∧⌝∃ 4、欧拉图),(E V G =。
包含G 的所有边的简单回路称为G 的欧拉回路。
具有欧拉回路的图称为欧拉图 。
5、轮图n W 的色数⎩⎨
⎧===even
n odd
n W n ,3,4)(χ
6、集合A={1, 2, 3}上的关系)}3,3(),1,3(),3,2(),3,1(),1,1{(=R 的关系矩阵
⎪⎪⎪
⎭
⎫ ⎝⎛=101100101R M
7、图G 有10条边,4个度数为3的顶点,其余顶点度数都不大于2,则G 的顶点个数8≥V
三、选择题(每题4分,共20分)
1、下面命题公式中,矛盾式是( C )
(
A
)
)(Q P P ∨→
(B)P P P ⌝→⌝→)(
(C) )()(R Q Q P P ∧⌝∧→⌝∨ (D) )()(Q P Q P ⌝↔⌝→↔
2、设集合}10,6,4,5,3,2,1{=X 上的关系R 是整除关系,则关系R ( C ) (A )有最大元,有最小元 (B)有最大元,无最小元
(C) 无最大元,有最小元 (D) 无最大元,无最小元
3、下图( D )
(A )无欧拉回路,无哈密顿通路 (B)有欧拉回路,无哈密顿通路
(C) 无欧拉通路,无哈密顿回路 (D) 有欧拉通路,有哈密顿回路
4、设*
R 是非零实数集,下面关系中是等价关系的是( C )
(A )}0),{(>+y x y x (B) }0),{(<+y x y x
(C) }0),{(>xy y x (D) }0),{(<xy y x 5、 集合A={1,2,3}上的五个关系
(1))}3,3(),3,1(),2,1(),1,1{(1=R (2))}3,3(),2,2(),1,2(),2,1(),1,1{(2=R (3))}3,2(),3,1(),2,1(),1,1{(3=R (4)∅=4R (5)A A R ⨯=5
中同时是对称关系和传递关系的是( B )
(A )431,,R R R (B) 542,,R R R
(C ) 532,,R R R (D) 321,,R R R
四、计算题(每题5分,共20分)
1、 化简命题公式))((p q p q ⌝→→→⌝。
解:
1
)(1)()()())(1())()(()
)(())(())(())((=⌝∨∨=⌝∨∨⌝∨=⌝∨⌝∨=⌝∨⌝∧∨=⌝∨⌝∧⌝∨∨=⌝∨⌝∧∨=⌝∨⌝∧⌝⌝∨=⌝∨∨⌝⌝∨⌝⌝=⌝→→→⌝p q p q q q p q q p q q p q p p q p q p q p q p q p q p q p q p q
2、给出谓词公式),(),(y x xA y y x yA x ∀∃=∃∀不能成立的一个解释I 。
解:设个体域为实数集合。
谓词),(y x A 表示y x =,则),(y x yA x ∃∀表示有这样的实数
0y 存在,它等于所有的实数x ,这显然是一个假命题;而),(y x xA y ∀∃表示对所有的实数x
都存在实数y ,使得它等于实数x ,这显然是一个真命题。
所以这个解释I 说明谓词公式
),(),(y x xA y y x yA x ∀∃=∃∀不能成立。
3、设集合}10,6,4,5,3,2,1{=X 上的关系R 是整除关系,写出关系R 的传递闭包)(R t 。
解:因为整除关系是传递关系,所以R R t =)(
4、完全偶图n m K ,的mn K E n m =)(,
五、证明题(每题6分,共12分)
1、写出下列推理的逻辑证明:
()(())()(()),()((x P x R x x Q x R x x Q x P x ⌝→∀⇒→∀∧⌝∃
证明:1.))()((x Q x P x ∧⌝∃ (前提引入)
2.))()(())()(())()((x Q x P x x Q x P x x Q x P x ⌝∨⌝∀=∧⌝∀=∧⌝∃
3.)()(y Q y P ⌝∨⌝ (US 规则)
4. ))()((x Q x R x →∀ (前提引入)
5. )()(y Q y R → (US 规则)
6. )()(y Q y P ⌝∨⌝,)()()()(y P y R y Q y R ⌝→⇒→
7.))()((x P x R x ⌝→∀ (UG 规则) 2、证明:在任意偏序集),(≤X 中最小元的个数最多只有一个。
证明:设21,a a 是偏序集),(≤X 的最小元,因为1a 是最小元,所以有21a a ≤成立。
又因为2a 也是最小元,所以也有12a a ≤成立。
由于偏序集是反对称关系,所以必有21a a =。
这说明了如果偏序集),(≤X 有最小元,则最小元是唯一的。
所以在任意偏序集),(≤X 中最小元的个数最多只有一个。