最新离散数学A答案

合集下载

离散数学课后习题答案(最新)

习题参考解答习题1.11、（3）P：银行利率降低Q：股价没有上升P∧Q（5）P：他今天乘火车去了北京Q：他随旅行团去了九寨沟PQ（7）P：不识庐山真面目Q：身在此山中Q→P，或～P→～Q（9）P：一个整数能被6整除Q：一个整数能被3整除R：一个整数能被2整除T：一个整数的各位数字之和能被3整除P→Q∧R ，Q→T2、（1）T （2）F （3）F （4）T （5）F（6）T （7）F （8）悖论习题 1.31（3）)()()()()()(R P Q P R P Q P R Q P R Q P →∨→⇔∨⌝∨∨⌝⇔∨∨⌝⇔∨→（4）()()()(())()(()())(())()()()()P Q Q R R P P R Q R P P R R P Q R P P R P R Q R Q P ∧∨∧∨∧=∨∧∨∧=∨∨∧∧∨∧=∨∧∨∧∨∧∨=右2、不，不，能习题 1.41(3) (())~((~))(~)()~(~(~))(~~)(~)P R Q P P R Q P P R T P R P R Q Q P R Q P R Q →∧→=∨∧∨=∨∧=∨=∨∨∧=∨∨∧∨∨、主合取范式)()()()()()()()()()()()()()())(())(()()(())()())(()((Q P R P Q R P Q R R Q P R Q P R Q P Q P R Q P R P Q R P Q R R Q P R Q P R Q P R Q P Q Q P R P P Q R R R Q Q P P R Q R P P Q R P P Q R P ∧∧∨∧⌝∧∨⌝∧⌝∧∨∧⌝∧⌝∨⌝∧∧⌝∨⌝∧⌝∧⌝=∧∧∨⌝∧∧∨∧⌝∧∨⌝∧⌝∧∨∧⌝∧⌝∨∧⌝∧⌝∨⌝∧∧⌝∨⌝∧⌝∧⌝=∨⌝∧∧∨∨⌝∧⌝∧∨∨⌝∧∨⌝∧⌝=∧∨⌝∧∨⌝=∨⌝∧∨⌝=→∧→ ————主析取范式(2) ()()(~)(~)(~(~))(~(~))(~~)(~)(~~)P Q P R P Q P R P Q R R P R Q Q P Q R P Q R P R Q →∧→=∨∧∨=∨∨∧∧∨∨∧=∨∨∧∨∨∧∨∨ 2、()~()(~)(~)(~~)(~)(~~)P Q R P Q R P Q P R P Q R P Q R P R Q →∧=∨∧=∨∧∧=∨∨∧∨∨∧∨∨∴等价3、解：根据给定的条件有下述命题公式：（A →（C ∇D ））∧～（B ∧C ）∧～（C ∧D ）⇔（～A ∨（C ∧～D ）∨（～C ∧D ））∧（～B ∨～C ）∧（～C ∨～D ）⇔（（～A ∧～B ）∨（C ∧～D ∧～B ）∨（～C ∧D ∧～B ）∨（～A ∧～C ）∨（C ∧～D ∧～C ）∨（～C ∧D ∧～C ））∧（～C ∨～D ）⇔（（～A ∧～B ）∨（C ∧～D ∧～B ）∨（～C ∧D ∧～B ）∨（～A ∧～C ）∨（～C ∧D ∧～C ）） ∧（～C ∨～D ）⇔（～A ∧～B ∧～C ）∨（C ∧～D ∧～B ∧～C ）∨（～C ∧D ∧～B ∧～C ）∨ （～A ∧～C ∧～C ）∨（～C ∧D ∧～C ∧～C ）∨（～A ∧～B ∧～D ）∨（C ∧～D ∧～B ∧～D ）∨（～C ∧D ∧～B ∧～D ）∨（～A ∧～C ∧～D ）∨ （～C ∧D ∧～C ∧～D ）（由题意和矛盾律）⇔（～C ∧D ∧～B ）∨（～A ∧～C ）∨（～C ∧D ）∨（C ∧～D ∧～B ）⇔（～C ∧D ∧～B ∧A ）∨ （～C ∧D ∧～B ∧～A ）∨ （～A ∧～C ∧B ）∨ （～A ∧～C ∧～B ）∨ （～C ∧D ∧A ）∨ （～C ∧D ∧～A ）∨（C ∧～D ∧～B ∧A ）∨（C ∧～D ∧～B ∧～A ）⇔（～C ∧D ∧～B ∧A ）∨ （～A ∧～C ∧B ∧D ）∨ （～A ∧～C ∧B ∧～D ）∨（～A ∧～C ∧～B ∧D ）∨ （～A ∧～C ∧～B ∧～D ）∨（～C ∧D ∧A ∧B ）∨ （～C ∧D ∧A ∧～B ）∨ （～C ∧D ∧～A ∧B ）∨ （～C ∧D ∧～A ∧～B ）∨（C ∧～D ∧～B ∧A ）∨（C ∧～D ∧～B ∧～A ） ⇔（～C ∧D ∧～B ∧A ）∨ （～A ∧～C ∧B ∧D ）∨ （～C ∧D ∧A ∧～B ）∨ （～C ∧D ∧～A ∧B ） ∨（C ∧～D ∧～B ∧A ）⇔（～C ∧D ∧～B ∧A ）∨ （～A ∧～C ∧B ∧D ）∨（C ∧～D ∧～B ∧A ）三种方案：A 和D 、 B 和D 、 A 和C习题 1.51、（1）需证()(())P Q P P Q →→→∧为永真式()(())~(~)(~())~~(~)(()(~))~(~)(~)()P Q P P Q P Q P P Q P P P Q P Q TP Q P Q T P Q P P Q →→→∧=∨∨∨∧∨=∨∨∧∨=∨∨∨=∴→⇒→∧（3）需证S R P P →∧⌝∧为永真式SR P P T S F S R F S R P P ⇒∧⌝∧∴⇔→⇔→∧⇔→∧⌝∧3A B A B ⇒∴→ 、为永真式。

离散数学课后习题答案

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)得证。

离散数学第3版习题答案

离散数学第3版习题答案离散数学是一门重要的数学学科，它研究的是离散对象和离散结构的数学理论。

离散数学的应用广泛，涉及到计算机科学、信息技术、通信工程等领域。

在学习离散数学的过程中，习题是不可或缺的一部分，通过解答习题可以加深对知识的理解和掌握。

本文将为大家提供《离散数学第3版》习题的答案，希望能对学习者有所帮助。

第一章：命题逻辑1.1 习题答案：1. (a) 真值表如下：p | q | p ∧ qT | T | TT | F | FF | T | FF | F | F(b) 命题“p ∧ q”的真值表如下：p | q | p ∧ qT | T | TT | F | FF | T | FF | F | F(c) 命题“p ∨ q”的真值表如下：p | q | p ∨ qT | T | TT | F | TF | T | TF | F | F(d) 命题“p → q”的真值表如下：p | q | p → qT | T | TT | F | FF | T | TF | F | T1.2 习题答案：1. (a) 命题“¬(p ∧ q)”等价于“¬p ∨ ¬q”。

(b) 命题“¬(p ∨ q)”等价于“¬p ∧ ¬q”。

(d) 命题“¬(p ↔ q)”等价于“(p ∧ ¬q) ∨ (¬p ∧ q)”。

1.3 习题答案：1. (a) 命题“p → q”的否定是“p ∧ ¬q”。

(b) 命题“p ∧ q”的否定是“¬p ∨ ¬q”。

(d) 命题“p ∨ q”的否定是“¬p ∧ ¬q”。

1.4 习题答案：1. (a) 命题“p → q”与命题“¬p ∨ q”等价。

2022年离散数学考试试题AB卷及答案

离散数学考试试题(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。

离散数学试题（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 上的二元关系，则由定理4.19知，tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。

离散数学考试试题（A卷及答案）

离散数学考试试题（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⼈⾄少乘坐过其中的两种。

离散数学(本)-国家开放大学电大学习网形考作业题目答案

离散数学（本）一、单项选择题1.集合A={1, 2, 3, 4, 5, 6, 7, 8}上的关系R={<x，y>|x+y=10且x, yA}，则R的性质为（）．A.自反的B.对称的C.传递且对称的D.反自反且传递的正确答案: B2.如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（）个．A.0B.2C.1D.3正确答案: B3.设集合A={1, 2, 3}，B={3, 4, 5}，C={5, 6, 7}，则A∪B–C =( )．A.{1, 2, 3, 4}B.{1, 2, 3, 5}C.{2, 3, 4, 5}D.{4, 5, 6, 7}正确答案: A4.若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是（）．A.{a，{a}}AB.{1，2}AC.{a}AD.A正确答案: C5.若集合A的元素个数为10，则其幂集的元素个数为（）．A.1024B.10C.100D.1正确答案: A6.设函数f：N→N，f(n)=n+1，下列表述正确的是（）．A.f存在反函数B.f是双射的C.f是满射的D.f是单射函数正确答案: D7.设集合A = {1, 2, 3, 4, 5}上的偏序关系的哈斯图如图所示，若A的子集B = {3, 4, 5}，则元素3为B的（）．A.下界B.最小上界C.最大下界D.最小元正确答案: B8.设集合A={1，2，3，4，5}，偏序关系是A上的整除关系，则偏序集<A，>上的元素5是集合A的（）．A.最大元B.最小元C.极大元D.极小元正确答案: C9.设集合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.自反和传递正确答案: C10.集合A={1, 2, 3, 4}上的关系R={<x，y>|x=y且x, yA}，则R的性质为（）．A.不是自反的B.不是对称的C.传递的D.反自反正确答案: C11.图G如图三所示，以下说法正确的是 ( )．A.a是割点B.{b,c}是点割集C.{b, d}是点割集D.{c}是点割集正确答案: B12.设G是连通平面图，有v个结点，e条边，r个面，则r= ( )．A.e－v＋2B.v＋e－2C.e－v－2D.e＋v＋2正确答案: A13.图G如图四所示，以下说法正确的是 ( ) ．A.{(a, d)}是割边B.{(a, d)}是边割集C.{(a, d) ,(b, d)}是边割集D.{(b, d)}是边割集正确答案: C14.设无向图G的邻接矩阵为，则G的边数为( )．A.6B.5C.4D.3正确答案: B15.无向图G存在欧拉回路，当且仅当（）．A.G中所有结点的度数全为偶数B.G中至多有两个奇数度结点C.G连通且所有结点的度数全为偶数D.G连通且至多有两个奇数度结点正确答案: C16.无向完全图K4是（）．A.欧拉图B.汉密尔顿图C.非平面图D.树正确答案: B17.无向树T有8个结点，则T的边数为( )．A.6B.7C.8D.9正确答案: B18.若G是一个汉密尔顿图，则G一定是( )．A.平面图B.对偶图C.欧拉图D.连通图正确答案: D19.若G是一个欧拉图，则G一定是( )．A.平面图B.汉密尔顿图C.连通图D.对偶图正确答案: C20.设有向图（a）、（b）、（c）与（d）如图五所示，则下列结论成立的是( )．图五A.（a）是强连通的B.（b）是强连通的C.（c）是强连通的D.（d）是强连通的正确答案: A21.命题公式为( )A.矛盾式B.可满足式C.重言式D.合取范式正确答案: B22.设个体域为整数集，则公式的解释可为( )．A.存在一整数x有整数y满足x+y=0B.任一整数x对任意整数y满足x+y=0C.对任一整数x存在整数y满足x+y=0D.存在一整数x对任意整数y满足x+y=0正确答案: C23.设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是 ( )．A.0, 0, 0B.0, 0, 1C.0, 1, 0D.1, 0, 0正确答案: D24.设A（x）：x是人，B（x）：x是教师，则命题“有人是教师”可符号化为（）．A.B.C.D.正确答案: D25.下列公式 ( )为重言式．A.┐P∧┐Q↔P∨QB.(Q→(P∨Q)) ↔(┐Q∧(P∨Q))C.Q→(P∨(P∧Q))↔Q →PD.(┐P∨(P∧Q)) ↔Q正确答案: C26.下列等价公式成立的为( )．A.┐P∧P┐Q∧QB.┐Q→P P→QC.P∧Q P∨QD.┐P∨P Q正确答案: A27.谓词公式(x)(A(x)→B(x)∨C(x，y))中的（）。

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

精品文档
—2014 学年第二学期期末试卷杭州师范大学钱江学院2013卷》(A)_ _《离散数学
_
_田正平命题教师
总分四五一题目二三
100 20 20 20 12 28 分值
得分
：
名
姓
线）2分，共20分；一、判断题（对的打?，错的打?每空
得分
订
?）1、“如果南京大学不在上海，那么上海大学在南京。

”是假命题。

（
?)?qpp?(?）是矛盾式。

2、命题（
装?B?)B)??xA(x?x(A(x)?。

（）3、
111??
??
1?10M},ca,bX?{RR是传4、设集合的关系矩阵是，则关系上的关系??R??：000??号学
?递关系（）
?）5、对称关系一定不是反对称关系。

（
?)?(X,有限偏序集）必定存在最小元。

（6、
2
222}?b?c?daaR?{(?bi,c?di)C。

关系是复7、在数集合上关系等价
?）（
)(vdG)E,G?(V是欧拉图。

都是偶数，则图8、无向连通图的每一个顶点的度数
?（）
：
V
级?(v)d?G),E?G(V）无向图、9，则图是哈密顿图。

的每一个顶点的度数（
班2
?）的简单无向图中，必有度数相同的顶点。

、在顶点个数不小于102（
精品文档．
精品文档
二、填空题（每空4分，共28分）
得分
”符号化。

1、将命题：“下个星期我将去上海或苏州出差。

“下个星：下个星期我将去苏州出差。

则命题：设命题P：下个星期我将去上海出差，Q)Q)?(?P?(P??Q期我将去上海或苏州出差。

”可以符号化为：”符号化。

2、若个体域为全总个体域，将命题：“没有不犯错误的人。

x:xQ(x)P(x):
是人，”可以符号化为：设谓词犯错误。

命题：“没有不犯错误的人。

))??Q(x(x))??x(P(x)?x(P(x)?Q 或者
)(V,EG?。

4、欧拉图
G的欧拉回路。

具有欧拉回路的图称为欧拉图。

包含G的所有边的简单回路称为
odd?,n4??W?W)( 5、轮图的色数?nn evenn?3,?)},3),(3,3),(3,11R?{(1,1),(,3),(2的关系矩阵6、
集合A={1, 2, 3}上的关系110????10M?0??R??110??8?V G的顶点个数其余顶点度数都不大于10条边，4个度数为3的顶点，2，则G 7、图有
分）分，共三、选择题（每题420
得分）1、下面命题公式中，矛盾式是（ C
PP??)??(PQP?(P?)(B) （A）
)QP???Q)?(?P()???(P?P)(Q?Q?R (D) (C)
}10,6,52{1,,3,,4?XRR）C 、设集合2上的关系是整除关系，则关系（
精品文档．
精品文档
（A）有最大元，有最小元(B)有最大元，无最小元
(C) 无最大元，有最小元(D) 无最大元，无最小元
）、下图（ D 3
(B)有欧拉回路，无哈密顿通路A（）无欧拉回路，无哈密顿通路
(D) 有欧拉通路，有哈密顿回路(C) 无欧拉通路，无哈密顿回路
?R）C 4、设是非零实数集，下面关系中是等价关系的是（
}0?y?}{(x,y)xy{(x,)x?y?0(B) （A ）
}xy?0{(x,y)x{(,y)xy?0} (D) (C)
集合A={1,2,3}上的五个关系5、
R?{(1,1),(1,2),(1,3),(3,3)}R?{(1,1),(1,2),(2,1),(2,2),(3,3)}（1（））2
21R?A?A)}32,(,),(12),(1,3),1?R{(1,?R?（）（3（）4）5 534
中同时是对称关系和传递关系的是（ B ）
R,R,RR,R,R A （）(B) 543142精品文档．
精品文档
RR,,RR,R,R(D) (C ) 325132
四、计算题（每题5分，共20分）
得分)p((p?q)???q?化简命题公式。

、1
解：)p)???(?(?pq((p?q)??p)???q??q?)p)???((p??q??p??q)??p)?q?q?(())p??1(?(?q(?q??p))?q?? ?q?((p?p)?
)p??q)?(qq??p)?(q???q?(?1?p)(q???1?)yx,y?xA(yA(x,y)??x??I2、给出谓词公式。

不能成立的一个解释yx?)yx,A(),y?yA(x?x表示有这样的实数，则解：设个体域为实数集合。

谓词表示yxx)y(x,?y?xA表示对所有的实数这显然是一个假命题；存在，它等于所有的实数而，0y x谓词公式I，使得它等于实数说明都存在实数，这显然是一个真命题。

所以这个解
释)y(x,)??y?xA,?x?yA(xy不能成立。

}106,53,,4,X?{1,2,RR)Rt(写出关系。

3、设集合上的关系的传递闭包是整除关系，R?R)t(解：因为整除关系是传递关系，所以
K mn)?E(K的4、完全偶图nm,n,m
分，共五、证明题（每题612分）
得分1、写出下列推理的逻辑证明：))(x?x)?PR?Q(x(Rx)?(x))?x((?xQ)((??xPx?()),
))(x?P((x)Qx??（前提引入） 1.证明：
精品文档．
精品文档
??x(P(x)?Q(x))??x?(P(x)?Q(x))??x(?P(x)??Q(x)) 2.
?P(y)??Q(y) 3. (US规则）
?x(R(x)?Q(x)) 4. （前提引入）
R(y)?Q(y) 5. (US规则）
?P(y)??Q(y)R(y)?Q(y)?R(y)??P(y) 6. ,
?x(R(x)??P(x))（UG规则）7.
(X,?)中最小元的个数最多只有一个。

2、证明：在任意偏序集(X,?)aa,aa?a成立。

又的最小元，因为是偏序集是最小元，所以有证明：设12121aa?aa?a。

成立。

由于偏序集是反对称关系，所以必有因为也是最小元，所以也有22121(X,?)(X,?)中这说明了如果偏序集则最小元是唯一的。

所以在任意偏序集有最小元，最小元的个数最多只有一个。

精品文档．。