离散数学期末考试试卷(A卷)
离散数学期末试题
离散数学考试试题(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 上的二元关系,则tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。
离散数学期末试题A答案及评分标准
--北京工商大学离散数学试卷(A)答案及评分标准题号 一 二三 四 五 六 七总分得分一、(30分)设A ={1,2,3,4},给定A 上二元关系R 如下:R ={<1,1>, <1,2>, <2,3>, <3,3>, <4,4>}请回答以下各问题:1.写出R 的关系矩阵. (3分)2.画出R 的关系图. (3分)3.求包含R 的最小的等价关系,并写出由其确定的划分. (6分)4.分别用关系矩阵表示出R 的自反闭包r (R )、对称闭包s (R ). (6分)5.求传递闭包t (R ).(写出计算步骤)(6分)6.求R 2的关系矩阵. (3分)7.集合A 上最多可以确定多少个不同的二元关系?说明理由。
(3分)[解] (1)⎪⎪⎪⎪⎪⎭⎫⎝⎛=1000010001000011R M 。
……(3分)(2) ……(3分)(3)法一:直接由等价关系与划分之间的一一对应可知,包含R 的最小等价关系为: {<1, 2>, <1, 3>, <2, 1>,<2, 3>, <3, 1> <3, 2>}∪I A , ……(3分) 对应的划分为{{1, 2, 3},{4}}. ……(6分) 法二:包含R 的最小的等价关系就是tsr (R ), 计算过程如下:⎪⎪⎪⎪⎪⎭⎫⎝⎛=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎪⎪⎭⎫⎝⎛=+=100001000110001110000100001000011000010001000011)(E M M R R r,100001100111001110000110001100011000010001100011][)()()(⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎪⎪⎭⎫⎝⎛+⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=+=T R r R r R sr M M M ,3,10001110111011110000110011100111000011001110011)]([)()()]([2≥=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎪⎪⎭⎫⎝⎛⨯⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⨯=k M M M M k R sr R sr R sr R sr 从而,10000111011101111000011101110111100001110111011110000111011101111000011001110011432)]([)]([)]([)()(⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=+++=R sr R sr R sr R sr R tsr M M M M M即}2,3,1,3,3,2,1,2,3,1,2,1{)(><><><><><><⋃=A I R tsr =包含R 的最小的等价关系, ……(3分) 故其对应的划分为{{1, 2, 3},{4}}. ……(6分) 法三:由于4=A ,包含R 的最小的等价关系就是4131211)()()()()()(----⋃⋃⋃⋃⋃⋃⋃⋃==R R R R R R R R I R rts R tsr A ,计算过程如下:⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎪⎪⎭⎫⎝⎛=+=-⋃100001100101001110000110000100011000010001000011][1TR R R R M M M ⎪⎪⎪⎪⎪⎭⎫⎝⎛=⎪⎪⎪⎪⎪⎭⎫⎝⎛=+=-⋃10000111011101111000011001010011)][(22)(21T R R R R M M M412131)()(33)(10000111011101111000011001010011)][(---⋃⋃⋃==⎪⎪⎪⎪⎪⎭⎫⎝⎛=⎪⎪⎪⎪⎪⎭⎫⎝⎛=+=R R R R T R R R R M M M M M 考试纪律承诺本人自愿遵守学校考试纪律,保证以诚信认真的态度作答试卷。
离散数学期末考试试卷a答案及评分细则
………密………封………线………以………内………答………题………无………效……电子科技大学英才学院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.。
桂林电子科技大学《离散数学》2019-2020学年期末考试试卷A
桂林电子科技大学试卷A学年第 学期 课号课程名称 离散数学(闭卷) 适用班级分钟 班级 学号 姓名考试时间 120一.单项选择题:(每小题2分,共12分)1.以下4个命题公式中,哪个是永真式? ( )A.p→(p→q); B.(p→q)∨┓q→┓p;C.(p→q)∧┓q→┓p; D.┓(p↔┓p∨q)。
2.设P(x)表示“x在桂林上学”,Q(x)表示“x是桂林人”,则“在桂林上学的人未必是桂林人”可以表示为: ( )A. x┓(P(x)→Q(x)); B.┓ x(P(x)→Q(x));C. x(P(x)→┓Q(x)); D.┓ x(P(x)→┓Q(x))。
3.某个集合的元素个数为10,这个集合有多少个不同的子集?( )。
A.10; B.20; C.102; D.210。
4.设R为实数集,映射σ:R→R定义为σ(x)=2x-1,则σ是:( )A.单射而非满射; B.满射而非单射;C.双射; D.既不是单射,也不是满射。
5. 设R是实数集,C是复数集合,试问下列各个代数系统哪一个是交换群?( )A.<M(n×n;R),·>,其中M(n×n;R)是所有元素为实数的n×n 矩阵集,·是矩阵的普通乘法;B.<A,*>,其中A={1,2,3,4,6,12},a*b为a与b的最大公约数,a,b∈A;C.<M(m×n;R),+>,其中M(m×n;R)是所有元素为实数的m×n矩阵集,+是矩阵的加法;D.<Z,+>,其中Z={z|z∈C且z的实部为非负数},+是复数的加法。
6.给定有向图见下图,则其邻接矩阵是: ( )V V 34A .B .C .D . 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0二.填空题:(每个空2分,共16分)1.在谓词公式 x (∃w (P (x,w )∧P (x,y ))→(Q (x,y,z )∨Q (x,z,y )))中,约束变元为 ___________,自由变元为 __________。
离散数学期末试卷(3套附答案)
2 离散数学(A 卷) 王军东(答案写在答题纸上,写在试题纸上无效)一、单项选择题(每小题3分,共30分)1.设A , B 是集合,若A B A =-,则(A) B = ∅ (B) A = ∅ (C) =⋂B A ∅ (D) A B A =⋂2.在有理数集合Q 上定义运算“*”如下:对于任意x , y ∈ Q ,y x * = x + y – xy ,则Q 关于*的单位元是( ).(A)x . (B)y . (C)1. (D)0.3.谓词公式)())()((x R y yQ x P x ∧∃→∀中量词x ∀的辖域为(A))())()((x R y yQ x P x ∧∃→∀ (B))()(y yQ x P ∃→(C))())()((x R y yQ x P ∧∃→ (D))()(y yQ x P ∃→和)(x R4.设p :我们划船,q :我们跑步, 则有命题“我们不能既划船又跑步”符号化为( )(A) ⌝ p ∧⌝ q (B) ⌝ p ∨⌝ q (C) ⌝ (p ↔ q ) (D) ⌝ (⌝ p ∨⌝ q ).5.设Z +是正整数集,R 是实数集,f :Z +→R , f (n )=log 2n ,则f ( )A .仅是单射B .仅是满射C .是双射D .不是函数6. 设集合A = {1, 2, 3, 4, 5}上的关系R = {(x , y )|x , y ∈ A 且x + y = 6},则R 的性质是( ).(A) 自反的. (B) 对称的. (C) 对称的、传递的. (D) 反自反的、传递的.7. 下列联结词中,不满足交换律的是( ).(A)∧. (B)∨. (C)⊕. (D) →.8..设G 是n 阶简单无向图,则其最大度)(G ∆( ).(A) > n (B) ≤ n . (C) < n . (D) ≥ n .9. 下列所示的哈斯图所对应的偏序集中能构成格的是( )A .B .C .D .课程考试试题学期 学年 拟题人:校对人:拟题学院(系): 适 用 专 业:10. 设G 是(n , m )图,且G 中每个节点的度数不是k 就是k + 1,则G 中度数为k 的节点个数为( ). (A)2n . (B)n (n + 1). (C)nk . (D)m k n 2)1(-+. 二、填空题(每空3分,共30分)1.设A={1,2},B={2,3},则A-B=_______, A ⊕B=________,2.设A={2,3 },R ⊆A ×A ,R={(2,3), (2,2)},则R 的自反闭包r(R)=__________,对称闭包s(R)=__________。
离散数学期末试题及答案A
学年第二学期期末考试《离散数学》试卷( 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.在一棵根树中,仅有一个结点的入度为______,称为树根,其余结点的入度均为______。
离散数学考试试题(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},求x3y (x+y=4)的真值。
解:x3y (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)一、单项选择题(每小题2分。
共20分)在每小题的四个备选答案中只有一个正确的答案。
请将正确答案的序号写在题干的括号内。
1.设集合A={2,{a},3,4},B = {{a},3,4,1},E 为全集,则下列命题正确的是( ).A.{2}∈AB.{a}⊆AC.∅⊆{{a}}⊆B ⊆ED.{{a},1,3,4}⊂ B.2.除非613≥ ,否则79≤。
令r: 613≥,s :79≤,可符号化为( ).A.s r →B. r s →⌝C. s r →⌝D. r s →3.使命题公式()p q q ∧→为假的赋值是( )A.10B.01C.00D.114. ()r q p ↔→的合取范式是( )A.()()()r q p r q r p ⌝∨∨⌝∧∨⌝∧∨;B. ()()()r q p r q q p ⌝∨∨⌝∧∨⌝∧∨C. ()()()r q p r q q p ⌝∨∨⌝∧∨∧∨;D. ()()()r q p r q r p ⌝∨∨⌝∧∨∧∨;5.判断下列各式中,不是合式公式的是 ( )A.S R Q ∧→B.()()S R P →↔C.()()()P Q Q P →→→⌝D.()K RS →6. 下列语句中是命题的只有( )A .1+1=10B .x+y=10C .sinx+siny<0D .x mod 3=2 7.设A={1,2,3,4,5},下面集合等于A 的是( )A .{1,2,3,4} B.{}252≤x x x 是整数,且C .{}5≤x x x 是正整数,且D .{}5≤x x x 是正有理数,且8.设f 和g 都是x 上的双射函数,则()1-g f ( ) A.11--g f B. ()1-f gC. 11--f gD. 1-g f9.下面等值式不正确的是:( C )A.A A A ⇔∨ ;B. ()B A B A ⌝∨⌝⇔∧⌝ ;C. ()B B A A ⇔∧∨;D. B A B A ∨⌝⇔→;10.R 代表实数集合,针对给定的函数集合f ,下面函数f: R R →属于双射的是:( )A. ()x x f 2=B. ()x x f sin =C. ()23x x x f -=D. ()x x f x +=2二、判断题(每题2分,共10分)11. A 是合式公式,但()B A ∨不一定就是合式公式( )12. q p →为真当且仅当p 与q 同时为真或同时为假( )13.设i i m M 与是命题变项1p ,2p ,。
2020-2021大学《离散数学》期末课程考试试卷A2(含答案)
2020-2021《离散数学》期末课程考试试卷A2专业: 考试日期: 所需时间:120分钟 总分:100分 闭卷 一、选择题(每小题3分,总共30分)1、设P :我们划船,Q :我们跑步。
命题“我们不能既划船又跑步”符号化为( )A 、Q P ⌝∧⌝B 、Q P ⌝∨⌝C 、)(Q P ↔⌝D 、)(Q P ⌝↔ 2、下列语句中哪个是真命题?( )A 、我正在说谎。
B 、严禁吸烟C 、如果1+2=3,那么雪是黑的。
D 、如果1+2=5,那么雪是黑的。
3、命题公式Q Q P P →→∧))((是( )A 、矛盾式B 、蕴含式C 、重言式D 、等值式4、谓词公式)())()((x Q y yR x P x →∃∨∀中变元x 是( ) A 、自由变量 B 、约束变量 C 、既不是自由变量也不是约束变量 D 、既是自由变量也是约束变量5、若个体域为整数域,下列公式中哪个值为真?( )A 、)0(=+∃∀y x y xB 、)0(=+∀∃y x x yC 、)0(=+∀∀y x y xD 、)0(=+∃⌝∃y x y x6、设个体域A={a,b},公式)()(x xS x xP ∃∧∀在A 中消去量词应为( ) 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}},下列正确的是( ) A 、1∈A B 、{1,2,3}⊆A C 、{{4,5}}⊂A D 、Φ∈A 9、幂集P (P (P (Φ)))为( )A 、{{Φ},{Φ,{Φ}}}B 、{Φ,{Φ},{Φ,{Φ}}}C 、{Φ,{Φ},{Φ,{Φ}},{{Φ}}}D 、{Φ,{Φ,{Φ}}}10、任意一个具有多个等幂元的半群,它( )A 、不能构成群B 、不一定能构成群C 、能构成群D 、不能构成交换群 二、填空题(每小题2分,总共16分)1、对于前提:S Q ⌝→,S ∨R ,R ⌝,Q P ↔⌝,其有效结论为2、谓词公式)()()(y yR x xQ x xP ∃∨∀→∀的前束范式为3、设集合A={x|x <3,x ∈Z},B={x|x=2k,k ∈Z} C={1,2,3,4,5},则 A ⊕(C-B )=4、某校有足球队员38人,篮球队员15人,排球队员20人,三队队员总数为58人,其中只有3人同时参加3种球队,则仅仅参加两种球队的队员为 人 。
大学《离散数学》期末考试试卷及答案 (1)
安徽大学2006-2007学年第1学期 《离散数学》期末考试试卷(A 卷)(时间120分钟)开课院(系、部) 姓名 学号 .一、选择题(每小题2分,共20分)1.下列语句中,哪个是真命题( )A 、42=+x ;B 、我们要努力学习;C 、如果ab 为奇数,那么a 是奇数,或b 是偶数;D 、如果时间流逝不止,你就可以长生不老。
2.下列命题公式中,永真式的是( )A 、P Q P →→)(;B 、P P Q ∧→⌝)(;C 、Q P P ↔⌝∧)(;D 、)(Q P P ∨→。
3.在谓词逻辑中,令)(x F 表示x 是火车;)(y G 表示y 是汽车;),(y x L 表示x 比y 快。
命题“并不是所有的火车比所有的汽车快”的符号表示中哪些是正确的?( ) I.)),()()((y x L y G x F y x →∧∀⌝∀ II.)),()()((y x L y G x F y x ⌝∧∧∃∃III. )),()()((y x L y G x F y x ⌝→∧∃∃A 、仅I ;B 、仅III ;C 、I 和II ;D 、都不对。
4.下列结论正确的是:( )A 、若C AB A =,则C B =; B 、若B A B A ⊆,则B A =;C 、若C A B A =,则C B =;D 、若B A ⊂且D C ⊂,则D B C A ⊂。
5.设φ=1A ,}{2φ=A ,})({3φρ=A ,)(4φρ=A ,以下命题为假的是( ) A 、42A A ∈; B 、31A A ⊆; C 、24A A ⊆; D 、34A A ∈。
6.设R 是集合},,,{d c b a A =上的二元关系,},,,,,,,,,,,{><><><><><><=b d d b a c c a a d d a R 。
下列哪些命题为真?( ) I.R R ⋅是对称的 II. R R ⋅是自反的 III. R R ⋅不是传递的A 、仅I ;B 、仅II ;C 、I 和II ;D 、全真。
大学《离散数学》期末考试试卷及答案 (6)
《离散数学》试卷 共3页第1页安徽大学2005-2006学年第一学期 《离散数学》期末考试试卷(A 卷)(时间120分钟)年级 院系专业 姓名 学号 座位号一、选择题(每小题2分,共20分)1.下列语句中哪个是真命题? ( C )A .我正在说谎。
B .严禁吸烟。
C .如果521=+,那么雪是黑的。
D .如果321=+,那么雪是黑的。
2.命题公式R Q P ∧→的对偶式为: ( A ) A .)(R Q P ∨→ B .)(R Q P ∨∧⌝ C .)(R Q P ∧∨⌝ D .)(R Q P ∨∧3.命题公式R Q P →∧⌝)(的主析取范式中含极小项的个数为: ( C ) A .0 B .3 C .5 D .8 4.谓词公式(,)x yP x y ∀∃的否定式是:( B ) A .(,)x y P x y ∀∀⌝ B .(,)x y P x y ∃∀⌝C .(,)x y P x y ∀∃⌝D .(,)x y P x y ∃∃⌝ 5.下列命题中,假命题的是: ( D )A .}}{{}{x x x ∈B .}}{{}{}{x x x -⊆C .若x x A }{=,则A x ∈且A x ⊆D .φ=-B A ⇔B A = 6.设集合A 上有n 个元素,则A 上的既对称又反对称的二元关系共有( D ) A .0个 B .2n 个 C .2n 个 D .2n个7.下列},,{c b a X =上的关系式中,不具有传递性质的是: ( B ) A .},{1><=b a R B .},,,{2><><=c a b a R C .},,,{3><><=a a b a R D .},,,{4><><=c b b a R8.设}2,1,0{=A ,},{b a B =,则从A 到B 的全函数有多少个? ( A ) A .32+个 B .32个 C .32⨯个 D .23个9.I 是整数集合,函数f 定义为:I I →,x x x f 2)(-=,则f 是: ( ) A .单射 B .满射 C .双射 D .非单射也非满射 10.下列无限集合中,哪个集合的基数不等于c 。
离散数学试卷及问题详解
离散数学试题(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)⇔M∧1M⇔m∨3m∨4m∨5m∨6m∨7m2二、(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 的且具有自反性、对称性和传递性的关系。
若'R 是包含R 的且具有自反性、对称性和传递性的任意关系,则由闭包的定义知r (R )⊆'R 。
2020-2021大学《离散数学》期末课程考试试卷A(含答案)
2020-2021《离散数学》期末课程考试试卷A一、填空题(每空3分,共15分)1.命题公式)(r q p p ∨∨→的类型是 。
2.设p :我将去镇上。
q :我有时间。
则命题“我将去镇上,仅当我有时间。
”的符号化形式为 。
3.化简下面集合表达式:)())((C B A C A B -= 。
4.已知一有向图的D 的度序列为(2,3,2,3),出度序列为(1,2,1,1),则D 的入度序列为 。
5.5个顶点的非同构的无向树共有 棵。
二、选择题(单项选择题,每题3分,共30分)1.设命题公式)(p q p ⌝→∧,记作A ,则使A 的真值指派为1的p ,q 的取值是( )。
A 、00B 、 01C 、10D 、112.设p :你努力。
q :你将失败。
则命题“除非你努力,否则你将失败。
”符号化为( )。
A 、p →q B 、q →p C 、┐p →q D 、┐q →p 3.下列公式中不与)(q p ↔⌝等值的是( )。
A 、)()(q p q p ∨⌝∧⌝∨B 、)()(q p q p ∧⌝∨⌝∧C 、q p ↔⌝D 、q p ⌝↔4.下面公式正确的是( )。
A 、)()())()((x xB x xA x B x A x ∀∨∀⇔∨∀ B 、)()())()((x xB x xA x B x A x ∃∨∃⇔∨∃C 、)())((x xB A x B A x ∃→⇔→∀D 、)()(x A x x xA ⌝∃⇔⌝∃5.下列命题错误的是( )。
A 、}},,{,,,{},{c b a c b a b a ⊆ B 、}},{,,,{},{b a c b a b a ∈ C 、}}},{{,,{},{b a b a b a ⊆D 、}}},{{,,{},{b a b a b a ∈6.设R={<x,y>|x,y ∈R ,x-y+2>0且x-y-2<0},则R 具有的性质是( )。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学期末考试试卷(A卷)一、判断题:(每题2分,共10分)(1)(1)(2)对任意的命题公式, 若, 则(0)(3)设是集合上的等价关系, 是由诱导的上的等价关系,则。
(1)(4)任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等价。
(0)(5)设是上的关系,分别表示的对称和传递闭包,则(0)二、填空题:(每题2分,共10分)(1) 空集的幂集的幂集为()。
(2) 写出的对偶式()。
(3)设是我校本科生全体构成的集合,两位同学等价当且仅当他们在同一个班,则等价类的个数为(),同学小王所在的等价类为()。
(4)设是上的关系,则满足下列性质的哪几条:自反的,对称的,传递的,反自反的,反对称的。
()(5)写出命题公式的两种等价公式( )。
三、用命题公式符号化下列命题(1)(2)(3),用谓词公式符号化下列命题(4)(5)(6)。
(12分)(1)(1)仅当今晚有时间,我去看电影。
(2)(2)假如上午不下雨,我去看电影,否则就在家里读书。
(3)你能通你能通过考试,除非你不复习。
(4)(4)并非发光的都是金子。
(5)(5)有些男同志,既是教练员,又是国家选手。
(6)(6)有一个数比任何数都大。
四、设,给定上的两个关系和分别是(1)(1)写出和 的关系矩阵。
(2)求 及 (12分) 五、求的主析取范式和主合取范式。
(10分)六、设是 到 的关系, 是 到 的关系,证明: (8分)七、设 是一个等价关系,设 对某一个 ,有,证明:也是一个等价关系。
(10分) 八、(10分)用命题推理理论来论证 下述推证是否有效?甲、乙、丙、丁四人参加比赛,如果甲获胜,则乙失败;如果丙获胜,则乙也获胜,如果甲不获胜,则丁不失败。
所以,如果丙获胜,则丁不失败。
九、(10分) 用谓词推理理论来论证下述推证。
任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或喜欢乘汽车,或喜欢骑自行车(可能这两种都喜欢)。
有的人不爱骑自行车,因而有的人不爱步行 (论域是人)。
十、(8分) 利用命题公式求解下列问题。
甲、乙、丙、丁四人参加考试后,有人问他们,谁的成绩最好,甲说:“不是我,”乙说:“是丁,”丙说:“是乙,”丁说:“不是我。
” 四人的回答只有一人符合实际,问若只有一人成绩最好,是谁?离散数学期末考试试卷答案(A 卷)一、判断题:(每题2分,共10分)(1)}}{{}{x x x -∈ ( ∨)(2) 对任意的命题公式C B A ,,, 若 C B C A ∧⇔∧, 则B A ⇔ ( ⨯ )(3)设R 是集合A 上的等价关系, L 是由R A 诱导的A 上的等价关系,则L R =。
( ∨ )(4) 任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等价。
( ⨯ )(5)设R 是A 上的关系,)(),(R t R s 分别表示R 的对称和传递闭包,则)()(R st R ts ⊆ ( ⨯ )二、填空题:(每题2分,共10分)(1) 空集的幂集的幂集为 ( }},{{φφ)。
(2) 写出)()(R P Q P →∧∨的对偶式( )()(R P Q P ∧⌝∨∧ )。
(3)设A 是我校本科生全体构成的集合,两位同学等价当且仅当他们在同一个班,则等价类的个数为(我校本科生的班级数 ),同学小王所在的等价类为(小王所在的班的集合)。
(4)设},,,{},,,{><><==3121321R A 是A 上的关系,则R 满足下列性质的哪几条:自反的,对称的,传递的,反自反的,反对称的。
( 传递的,反自反的,反对称的 )(5)写出命题公式QP ↔的两种等价公式( )()()()(P Q Q P P Q Q P ∨⌝∧∨⌝→∧→)。
三、用命题公式符号化下列命题(1)(2)(3),用谓词公式符号化下列命题(4)(5)(6)。
(12分)(3)(1)仅当今晚有时间,我去看电影。
解:P: 今晚我有时间. Q: 我去看电影P Q →(4)(2)假如上午不下雨,我去看电影,否则就在家里读书。
解 P: 上午下雨, Q: 我去看电影 R: 我在家里读书。
)()(R P Q P →∧→⌝ (3)你能通你能通过考试,除非你不复习。
解 P 你能通过考试, Q: 你复习.P Q →(7)(4)并非发光的都是金子。
解 x x A :)(是发光的, x x B :)(是金子))()()((x B x A x →∀⌝(8)(5)有些男同志,既是教练员,又是国家选手。
解 x x A :)(是男同志,x x B :)(是教练员,x x C :)(是国家选手)()()()((x C x B x A x ∧∧∃)(9)(6)有一个数比任何数都大。
解 x x A :)(是数,x y x B :),(比y 大,))),()()(()()((y x B y A y x A x →∀∧∃四、设},,,{d c b a A =,给定A 上的两个关系R 和L 分别是)}.,(),,(),,(),,(),,(),,{()},,(),,(),,{(c d a d c c a c b b d a L a c c b b a R ==(2)(1)写出R 和L 的关系矩阵。
(2)求L R 及)(L R t (12分)解⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=0000100000100100R M ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=1010101001000001L M⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=0000000110100100LR M ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=00000000010110102)(L R M⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=00000000101001013)(L R M⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=00000000010110104)(L R M ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=0000000111111111)(L R t M 五、求))(())((R Q P R Q P ⌝∧⌝→⌝∧∧→的主析取范式和主合取范式。
(10分)解∑⇔∏⇔⌝∨∨∧∨⌝∨∧∨⌝∨∧∨⌝∨⌝∧⌝∨∨⌝∧∨∨⌝⇔⌝∨⌝∨∧∨⌝∨∧⌝∨⌝∨∧∨⌝∨∧∨⌝∨⌝∧∨∨⌝∧⌝∨∨⌝∧∨∨⌝⇔⌝∨∧⌝∨∧∨⌝∧∨⌝⇔⌝∧⌝∨∧∧∨⌝⇔⌝∧⌝→⌝∧∧→70654321,,,,,,)()()()()()()()()()()()()()()()()()())(())(())(())((R Q P R Q P R Q P R Q P R Q P R Q P Q R P Q R P R Q P R Q P R Q P R Q P R Q P R Q P R P Q P R P Q P R Q P R Q P R Q P R Q P 六、设T是X 到Y 的关系,S 是Y 到Z 的关系,证明:c c c T S S T =)((8分)证明:cc c c c T S x z S y z T x y Y y y S z y T y x Y y y ST z x S T x z >∈⇔<>∈<∧>∈<∧∈∃⇔>∈<∧>∈<∧∈∃⇔>∈⇔<>∈<,),,)((),,)((,)(,七、设R 是一个等价关系,设:,{><=b a S 对某一个c ,有},,,R b c R c a >∈<>∈<且,证明:S 也是一个等价关系。
(10分)证明:(1) 对任一A x ∈, 因为R 在A 上是自反的,所以R x x >∈<,. 由S 的定义,<x,x>∈S, 所以S 是自反的。
(3)(2)对任意A y x ∈,,若,,S y x >∈<则对于某个c使得,,,R y c R c x >∈<∧>∈<因为R 对称的,故有:,,,R x c R c y >∈<∧>∈<由S 的定义可知:,,S x y >∈<所以S 是对称的。
(3)对任意A z y x ∈,,,若S y x >∈<,及,,S z y >∈<则必存在某个1c ,使得,,,R y c R c x >∈<∧>∈<11由R 传递性,可知R y x >∈<,,同理存在2c 使得,,,R z c R c y >∈<∧>∈<22由R 传递性,可知R z y >∈<,。
再由S 的定义,得,,S z x >∈<故 S 是传递的。
综上可知,S 是A 上的等价关系。
八、(10分)用命题推理理论来论证下述推证是否有效?甲、乙、丙、丁四人参加比赛,如果甲获胜,则乙失败;如果丙获胜,则乙也获胜,如果甲不获胜,则丁不失败。
所以,如果丙获胜,则丁不失败。
解:设A :甲获胜。
B :乙获胜。
C :丙获胜。
D:丁获胜。
前提为:D A B C B A →⌝⌝→⌝→,,结论为:D C →(1)B A ⌝→ P(2) A B ⌝→ (1)T,E(3) D A →⌝ P(4) D B → (2)(3)T,I(5) B C → P(6) D C → (5)(4)T,I九、(10分) 用谓词推理理论来论证下述推证。
任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或喜欢乘汽车,或喜欢骑自行车(可能这两种都喜欢)。
有的人不爱骑自行车,因而有的人不爱步行 (论域是人)。
解:设P(x):x 喜欢不行。
Q(x)喜欢乘汽车。
R(x):x 喜欢骑自行车。
本题符号化为:)),()()(()),()()((x R x Q X x Q X P X ∨∀⌝→∀)()()()(x P x x R x ⌝∃⇒⌝∃(1) )()(x R x ⌝∃ P(2) )(c R ⌝ (1)ES(3) ))()()((x R x Q X ∨∀ P(4) )()(c R c Q ∨ (3) US(5) )(c Q (2)(4)T,I(6) ))()()((x Q X P X ⌝→∀ P(7) ))()(c Q c P ⌝→ (6)US(8) )(c P ⌝ (5)(7)T,I(9) )()(x P x ⌝∃ (8)EG十、(8分) 利用命题公式求解下列问题。
甲、乙、丙、丁四人参加考试后,有人问他们,谁的成绩最好,甲说:“不是我,”乙说:“是丁,”丙说:“是乙,”丁说:“不是我。
” 四人的回答只有一人符合实际,问若只有一人成绩最好,是谁?解:设A:甲的成绩最好,B:乙的成绩最好,C:丙的成绩最好,D:丁的成绩最好。
因为四人的回答只有一人符合实际,故T D B D A D B D A D B D A D B D A ⇔⌝∧⌝∧⌝∧∨∧⌝∧⌝∧∨∧⌝∧∧∨∧⌝∧⌝∧⌝)()(()()(即 T D B A D B A ⇔⌝∧⌝∧∨∧⌝∧)()(但 )()()()()()(C D B A C D B A C D B A C D B A D B A D B A ⌝∧⌝∧⌝∧∨∧⌝∧⌝∧∨⌝∧∧⌝∧∨∧∧⌝∧⇔⌝∧⌝∧∨∧⌝∧故有(一)甲、丙、丁三人并列成绩最好。