离散数学作业4和6[答案]
离散数学形成性考核作业4题目与答案
离散数学形成性考核作业4作业与答案离散数学综合练习书面作业要求：学生提交作业有以下三种方式可供选择：1. 可将此次作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，完成作业后交给辅导教师批阅．2. 在线提交word文档．3. 自备答题纸张，将答题过程手工书写，并拍照上传．一、公式翻译题1．请将语句“小王去上课，小李也去上课．”翻译成命题公式．设Ｐ：小王去上课Ｑ:小李去上课则：命题公式Ｐ∧Ｑ2．请将语句“他去旅游，仅当他有时间．”翻译成命题公式．设Ｐ：他去旅游Ｑ：他有时间则命题公式为Ｐ→Ｑ3．请将语句“有人不去工作”翻译成谓词公式．设Ａ（x）:x是人Ｂ（x）：去工作则谓词公式为∃x（A(x)∧－B（x）)4．请将语句“所有人都努力学习．”翻译成谓词公式．设A（x）: x是人B（x）:努力学习则谓词公式为∀x（A（x）∧B（x））二、计算题1．设A={{1},{2},1,2}，B={1,2,{1,2}}，试计算（1）(A-B)；（2）(A∩B)；（3）A×B．解：（1）（A-B）＝{{1}，{2}}（2）（A∩B）＝{1，2}（3）A×B＝{<{1},1>,<{1},2>,<{1},{1,2}>,<{2},1>,<{2},2>,<{2},{1,2}>,<1,1>,<1,2>,<1,{1,2}>,<2,1>,<2,2>,<2,{1,2}>}2．设A={1，2，3，4，5}，R={<x，y>|x∈A，y∈A且x+y≤4}，S={<x，y>|x∈A，y∈A且x+y<0}，试求R，S，R•S，S•R，R-1，S-1，r(S)，s(R)．解：R＝{<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>}S=空集R•S=空集S•R =空集R-1={<1,1>,<2,1>,<3,1>,<1,2>,<2,2>,<1,3>}S-1=空集r(S) ={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>}s(R) ={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>}3．设A={1, 2, 3, 4, 5, 6, 7, 8}，R是A上的整除关系，B={2, 4, 6}．(1) 写出关系R的表示式；(2) 画出关系R的哈斯图；(3) 求出集合B的最大元、最小元．4．设G=<V，E>，V={ v1，v2，v3，v4，v5}，E={ (v1,v3)，(v2,v3)，(v2,v4)，(v3,v4)，(v3,v5)，(v4,v5) }，试(1) 给出G的图形表示；(2) 写出其邻接矩阵；(3) 求出每个结点的度数；(4) 画出其补图的图形．答：（1）（2）（3）deg(v1)=1, deg(v2)=2 ,deg(v3)=4 ,deg(v4)=3,deg(v5)=2(4)5．图G=<V, E>，其中V={ a, b, c, d, e}，E={ (a, b), (a, c), (a, e), (b, d), (b, e), (c, e), (c, d), (d, e) }，对应边的权值依次为2、1、2、3、6、1、4及5，试（1）画出G的图形；（2）写出G的邻接矩阵；（3）求出G权最小的生成树及其权值．解：（1）（2）（3）其中权值是：76．设有一组权为2, 3, 5, 7, 17, 31，试画出相应的最优二叉树，计算该最优二叉树的权．解：权值：657．求P→Q∨R的析取范式，合取范式、主析取范式，主合取范式．解：8．设谓词公式()((,)()(,,))()(,)x P x y z Q y x z y R y z ∃→∀∧∀．（1）试写出量词的辖域；（2）指出该公式的自由变元和约束变元．9．设个体域为D ={a 1, a 2}，求谓词公式(∀y )(∃x )P (x ,y )消去量词后的等值式；三、证明题1．对任意三个集合A , B 和C ，试证明：若A ⨯B = A ⨯C ，且A ≠∅，则B = C ．证明：设x ∈A, y ∈B,则<x,y>∈A ⨯B因为A ⨯B ＝A ⨯C ，故<x, y>∈A ⨯C, 则有y ∈C所以 B ⊆C设x ∈A, z ∈C ，则<x, z>∈A ⨯C因为A ⨯B ＝A ⨯C ，故<x, z>∈A ⨯B, 则有z ∈B所以 C ⊆B故得A ＝B2．试证明：若R 与S 是集合A 上的自反关系，则R ∩S 也是集合A 上的自反关系．证明：R 和S 是自反的，∀x ∈A, <x,x>∈R, <x,x>∈S则<x, x>∈R ⋂S所以R ⋂S 是自反的3．设连通图G 有k 个奇数度的结点，证明在图G 中至少要添加2k 条边才能使其成为欧拉图．4．试证明 (P →(Q ∨⌝R ))∧⌝P ∧Q 与⌝ (P ∨⌝Q )等价．5．试证明：⌝(A ∧⌝B )∧(⌝B ∨C )∧⌝C ⇒⌝A ．以上为离散数学形成性考核作业4作业与答案，请教师指正。
离散数学作业6_集合与关系答案
离散数学作业作业6 ——等价关系1. 设R和S均为A上的等价关系，确定下列各式，哪些是A上的等价关系？如果是，证明之；否则，举反例说明。
（1）R∩S （2）R∪S （3）r (R-S)（4）R- S （5）R◦S （6）R2解：(1),(6)正确，其余错误。
2. R是集合A上的二元关系， a,b,c ,若aRb,且bRc,有cRb,则称R 是循环关系。
证明R是自反和循环的，当且仅当R是一等价关系。
分析: 需要证明两部分:(1)已知R是自反和循环的，证明:R是一等价关系(2)已知R是一等价关系, 证明R是自反和循环的.证明：（1）先证必要性。
只需要证明R是对陈的和传递的。
任取(x,y)∈R。
因为R是自反的，所以(y,y)∈R。
由R是循环的可得(y,x)∈R，即R是对陈的。
任取(x,y)，(y,z)∈R。
因R是循环的，所以(z,x)∈R。
由R对称性得(x,z)∈R，即R是传递的。
（2）证充分性。
只需要证明R是循环的。
任取(x,y)，(y,z)∈R，下证(z,x)∈R。
由于R是传递的，所以(x,z)∈R。
又由R是对称的得(z,x)∈R。
所以R是循环的。
3. 设|A|=n ，在A 上可以确定多少个不同的等价关系？解：2n!/((n+1)n!n!)4. 给定集合S={ 1 , 2 , 3, 4, 5 }，找出S 上的等价关系R ，此关系R 能够产生划分{{1，2}，{3}，{4，5}}，并画出关系图。
解：{(1,2),(2,1),(4,5),(5,4)}S R I =⋃5. 设A={1，2，3，4，5}。
R 是集合A 上的二元关系，其关系矩阵如下图所示。
求包含R 的最小等价关系和该等价关系所确定的划分。
⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡=0010001000000000101000001RM 分析: 可以证明tsr(R)是包含R 的最小等价关系.解：包含R 的最小等价关系的矩阵表示如下：1000001010001010101000101⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭上述等价关系确定的划分为{{1},{2,4},{3,5}}.6. 自学华氏(WalShall)算法，写出算法的基本概念、基本步骤和一个求解传递闭包的具体实例，并可清晰讲解算法整体实现过程。
离散数学习题四参考答案
第四节 代数系统1 A={所有实数},ο： （a ，b ） a ＋2b ＝a οb这个代数运算是否满足结合律？解：(a οb)oc=(a ＋2b)oc=a+2b+2c ≠ao(b οc)=ao(b+2c)=a+2b+4c ，所以不满足结合律.2 A={1,2,3,…,100},找一个A ×A 到A 的映射。
解：o:aob=max{a,b},是一个从A ×A 到A 的映射。
3 A={a,b,c,d},由表a b c da abc db b d a cc c a b dd d c d b所给的代数运算是否满足交换律?是否有单位元？是否有零元？解：满足交换律，a 是单位元，没有零元？4 全体整数的集合对于普通减法来说是否构成一个群。
解：全体整数的集合对于普通减法来说不构成一个群，因为不满足结合律，即a-(b-c)≠(a-b)-c5 举一个有两个元的群的例子。
解：A={0，1}，运算“*”的运算表为 * 0 10 0 11 1 0其中0是单位元，1的逆元为自身。
实际上运算“*”是模为2的同余加法运算。
6 设G 是整数集，对G 规定一个运算“о”a оb ＝a ＋b －2证明，（G ，о）是一个群。
证明：显然运算“o ”是封闭的。
（1）满足结合律：ao(boc)=ao(b+c-2)=a+b+c-4=（aob ）oc=(a+b-2)oc（2）存在单位元“2”：2oa=2+a-2=a,ao2=a+2-2=a;(3) 存在逆元：ao(2-a)=(2-a)oa=a+2-a=2,即a 的逆元是2-a.所以（G ，о）是一个群。
7证明:一个有限群的每个元的阶都是有限的.证明：设有限群（G ，o ）中|G|=n ，则任取一元素a ∈G ，显然na a a a ,,,321 中至少有两个表示同一个元素，（否则就不是有限群）设j i a a j i <=,，又I a a a a a i j i j i i ===---)()(11（其中I 是群的单位元），因此 a a oa a i j i j ==+--1)(，显然j-i+1为有限，所以a 的阶是有限的。
离散数学习题答案.docx
精品文档离散数学习题答案习题一及答案：（ P14-15 ）14、将下列命题符号化：（ 5）李辛与李末是兄弟解：设 p：李辛与李末是兄弟，则命题符号化的结果是p（ 6）王强与刘威都学过法语解：设 p：王强学过法语； q：刘威学过法语；则命题符号化的结果是p q （ 9）只有天下大雨，他才乘班车上班解：设 p：天下大雨； q：他乘班车上班；则命题符号化的结果是q p（ 11）下雪路滑，他迟到了解：设 p：下雪； q：路滑； r ：他迟到了；则命题符号化的结果是( p q)r15、设 p： 2+3=5.q：大熊猫产在中国 .r：太阳从西方升起 .求下列复合命题的真值：（ 4）(p q r )(( p q)r )解： p=1， q=1，r=0 ，(p q r )(110)1，((p q)r )((11)0)(00)1(p q r )(( p q)r ) 1 1119、用真值表判断下列公式的类型：（ 2）( p p)q解：列出公式的真值表，如下所示：p q p qp) ( p p)q( p001111011010100101110001由真值表可以看出公式有 3 个成真赋值，故公式是非重言式的可满足式。
20、求下列公式的成真赋值：精品文档（ 4）( p q)q解：因为该公式是一个蕴含式，所以首先分析它的成假赋值，成假赋值的条件是：( p q)1p0q0q0所以公式的成真赋值有： 01，10， 11。
习题二及答案：（ P38）5、求下列公式的主析取范式，并求成真赋值：（ 2）(p q) (q r )解：原式( p q) q r q r( p p) q r( p q r ) ( p q r )m3m7，此即公式的主析取范式，所以成真赋值为011， 111。
6、求下列公式的主合取范式，并求成假赋值：（ 2）( p q) ( p r )解：原式( pp r ) ( p q r )( p q r )M 4，此即公式的主合取范式，所以成假赋值为 100。
离散数学习题答案解析
离散数学习题答案解析(总16页)--本页仅作为文档封面，使用时请直接删除即可----内页可以根据需求调整合适字体及大小--离散数学习题答案习题一及答案：（P14-15）14、将下列命题符号化：（5）李辛与李末是兄弟解：设p：李辛与李末是兄弟，则命题符号化的结果是p（6）王强与刘威都学过法语∧解：设p：王强学过法语；q：刘威学过法语；则命题符号化的结果是p q（9）只有天下大雨，他才乘班车上班→解：设p：天下大雨；q：他乘班车上班；则命题符号化的结果是q p （11）下雪路滑，他迟到了解：设p：下雪；q：路滑；r：他迟到了；则命题符号化的结果是()∧→p q r 15、设p：2+3=5.q：大熊猫产在中国.r：太阳从西方升起.求下列复合命题的真值：（4）()(())∧∧⌝↔⌝∨⌝→p q r p q r解：p=1，q=1，r=0，∧∧⌝⇔∧∧⌝⇔，p q r()(110)1p q r⌝∨⌝→⇔⌝∨⌝→⇔→⇔(())((11)0)(00)1∴∧∧⌝↔⌝∨⌝→⇔↔⇔()(())111p q r p q r19、用真值表判断下列公式的类型：（2）()→⌝→⌝p p q解：列出公式的真值表，如下所示：由真值表可以看出公式有3个成真赋值，故公式是非重言式的可满足式。
20、求下列公式的成真赋值： （4）()p q q ⌝∨→解：因为该公式是一个蕴含式，所以首先分析它的成假赋值，成假赋值的条件是：()10p q q ⌝∨⇔⎧⎨⇔⎩⇒0p q ⇔⎧⎨⇔⎩ 所以公式的成真赋值有：01，10，11。
习题二及答案：（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。
离散数学课后习题答案 (左孝凌版)
离散数学课后习题答案（左孝凌版）离散数学课后习题答案-（左孝凌版）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)是合式公式。
(完整word版)离散数学课后答案(word文档良心出品)
离散数学课后答案习题一6.将下列命题符号化。
（1）小丽只能从框里那一个苹果或一个梨.（2）这学期，刘晓月只能选学英语或日语中的一门外语课.答：（1）（p Λ¬q ）ν（¬pΛq）其中p:小丽拿一个苹果，q:小丽拿一个梨（2）（p Λ¬q ）ν（¬pΛq）其中p:刘晓月选学英语，q:刘晓月选学日语14.将下列命题符号化.(1) 刘晓月跑得快, 跳得高.(2)老王是山东人或河北人.(3)因为天气冷, 所以我穿了羽绒服.(4)王欢与李乐组成一个小组.(5)李辛与李末是兄弟.(6)王强与刘威都学过法语.(7)他一面吃饭, 一面听音乐.(8)如果天下大雨, 他就乘班车上班.(9)只有天下大雨, 他才乘班车上班.(10)除非天下大雨, 他才乘班车上班.(11)下雪路滑, 他迟到了.(12)2与4都是素数, 这是不对的.(13)“2或4是素数, 这是不对的”是不对的.答：(1)p∧q, 其中, p: 刘晓月跑得快, q: 刘晓月跳得高.(2)p∨q, 其中, p: 老王是山东人, q: 老王是河北人.(3)p→q, 其中, p: 天气冷, q: 我穿了羽绒服.(4)p, 其中, p: 王欢与李乐组成一个小组, 是简单命题.(5)p, 其中, p: 李辛与李末是兄弟.(6)p∧q, 其中, p: 王强学过法语, q: 刘威学过法语.(7)p∧q, 其中, p: 他吃饭, q: 他听音乐.(8)p→q, 其中, p: 天下大雨, q: 他乘班车上班.(9)p→q, 其中, p: 他乘班车上班, q: 天下大雨.(10)p→q, 其中, p: 他乘班车上班, q: 天下大雨.(11)p→q, 其中, p: 下雪路滑, q: 他迟到了.(12) ¬ (p∧q)或¬p∨¬q, 其中, p: 2是素数, q: 4是素数.(13) ¬ ¬ (p∨q)或p∨q, 其中, p: 2是素数, q: 4是素数.16.19.用真值表判断下列公式的类型:(1)p→ (p∨q∨r) (2)(p→¬q) →¬q(3) ¬ (q→r) ∧r(4)(p→q) →(¬q→¬p)(5)(p∧r) ↔( ¬p∧¬q)(6)((p→q) ∧ (q→r)) → (p→r)(7)(p→q) ↔ (r↔s)答：(1), (4), (6)为重言式.(3)为矛盾式.(2), (5), (7)为可满足式习题二9.用真值表求下面公式的主析取范式.(1) (pνq)ν(¬pΛr)(2) (p→q) →(¬p↔q)答：(1)(2)p q (p → q) →(¬p ↔ q)0 0 1 0 0 10 1 1 1 1 01 0 0 1 1 11 1 1 0 0 0从真值表可见成真赋值为01, 10.于是(p → q) →(¬p ↔ q) ⇔ m1 ∨ m211.用真值表求下面公式的主析取范式和主合取范式；(1) (pνq)Λr(2) p→(pνqνr)(3) ¬(q→¬p)Λ¬p15.用主析取范式判断下列公式是否等值:(1) (p→q) →r与q→ (p→r)(2) ¬(pΛq)与(¬pνq)答：(1)(p→q) →r ⇔¬(¬p∨q) ∨ r ⇔¬(¬p∨q) ∨ r ⇔ 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 = m101 ∨ m100 ∨ m111 ∨m101 ∨ m011 ∨ m001 ⇔m1 ∨ m3 ∨ m4 ∨ m5 ∨ m7 = ∑(1, 3, 4, 5, 7).而 q→(p→r) ⇔¬q ∨(¬p∨r) ⇔¬q ∨¬p ∨r ⇔(¬p∨p)¬∧q∧(¬r∨r) ∨¬p∧(¬q∨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)∨(p∧q∧r) = m0 ∨ m1 ∨ m4 ∨ m5 ∨ m0 ∨ m1 ∨ m2 ∨ m3 ∨ m1 ∨ m3 ∨ m5 ∨m7 ⇔ m0 ∨ m1 ∨ m2 ∨ m3 ∨ m4 ∨ m5 ∨ m7 ⇔∑(0, 1, 2, 3, 4, 5, 7). 两个公式的主吸取范式不同, 所以(p→q) →rk q→ (p→r).16. 用主析取范式判断下列公式是否等值:(1)(p→q) →r与q→ (p→r)(2) ¬ (p∧q)与¬ (p∨q)答：(1)(p→q) →r) ⇔m1∨m3∨m4∨m5∨m7q→ (p→r) ⇔m0∨m1∨m2∨m3∨m4∨m5∨m7所以(p→q) →r) k q→ (p→r)(2)¬ (p∧q) ⇔m0∨m1∨m2¬ (p∨q) ⇔m0所以¬ (p∧q) k ¬ (p∨q)习题三15.在自然推理系统P中用附加前提法证明下面各推理:(1)前提: p→ (q→r), s→p, q 结论: s→r(2)前提: (p∨q) → (r∧s), (s∨t) →u 结论: p→u答：(1)证明: ① s 附加前提引入② s→p 前提引入③ p ①②假言推理④ p→(q→r) 前提引入⑤ q→r ③④假言推理⑥ q 前提引入⑦ r ⑤⑥假言推理(2)证明: ① P 附加前提引入② p∨q ①附加③ (p∨q) → (r∧s) 前提引入④ r∧s ②③假言推理⑤④化简⑥ s∨t ⑤附加⑦ (s∨t) →u 前提引入⑧ u ⑥⑦假言推理16.在自然推理系统P中用归谬法证明下面推理:(1)前提: p→¬q, ¬r∨q, r∧¬s 结论: ¬p(2)前提: p∨q, p→r, q→s 结论: r∨s答：(1)证明: ① P 结论否定引入② p→¬q 前提引入③¬q ①②假言推理④¬r∨q 前提引入⑤¬r ③④析取三段论⑥ r∧¬s 前提引入⑦ r ⑥化简⑧¬r∧r ⑤⑦合取⑧ 为矛盾式, 由归谬法可知, 推理正确.(2)证明: ①¬ (r∨s) 结论否定引入② p∨q 前提引入③ p→r 前提引入④ q→s 前提引入⑤ r∨s ②③④构造性二难⑥¬ (r∨s) ∧ (r∨s) ①⑤合取⑥为矛盾式, 所以推理正确.18.在自然推理系统P中构造下面推理的证明.(1)如果今天是星期六, 我们就要到颐和园或圆明园去玩. 如果颐和园游人太多, 我们就不去颐和园玩. 今天是星期六. 颐和园游人太多. 所以我们去圆明园玩.(2)如果小王是理科学生, 他的数学成绩一定很好. 如果小王不是文科生, 他必是理科生. 小王的数学成绩不好. 所以小王是文科学生.(1)令 p: 今天是星期六;q: 我们要到颐和园玩;r: 我们要到圆明园玩;s:颐和园游人太多.前提: p→ (q∨r), s →¬q, p, s. 结论: r.证明① p 前提引入② p→q∨r前提引入③q∨r①②假言推理④s前提引入⑤ s →¬q前提引入⑥¬q ④⑤假言推理⑦ r ③⑥析取三段论r ¬q s →¬q sq∨r p→q∨r p(2)令p: 小王是理科生,q: 小王是文科生,r: 小王的数学成绩很好.前提: p→r, ¬q→p, ¬r 结论: q证明：① p→r 前提引入②¬r 前提引入③¬p ①②拒取式④¬q→p 前提引入⑤ q ③④拒取式习题四在一阶逻辑中将下列命题符号化:(1)没有不能表示成分数的有理数.(2)在北京卖菜的人不全是外地人.(3)乌鸦都是黑色的.(4)有的人天天锻炼身体. 没指定个体域, 因而使用全总个体域.答：(1) ¬∃x(F(x) ∧¬G(x))或∀x(F(x) →G(x)), 其中, F(x): x为有理数, G(x): x能表示成分数.(2) ¬∀x(F(x) →G(x))或∃x(F(x) ∧¬G(x)), 其中, F(x): x在北京卖菜,G(x): x是外地人.(3) ∀x(F(x) →G(x)), 其中, F(x): x是乌鸦, G(x): x是黑色的.(4) ∃x(F(x) ∧G(x)), 其中, F(x): x是人, G(x): x天天锻炼身体.5. 在一阶逻辑中将下列命题符号化:(1)火车都比轮船快.(2)有的火车比有的汽车快.(3)不存在比所有火车都快的汽车.(4)“凡是汽车就比火车慢”是不对的.答：因为没指明个体域, 因而使用全总个体域(1) ∀x∀y(F(x) ∧G(y) →H(x,y)), 其中, F(x): x是火车, G(y): y是轮船, H(x,y):x比y快.(2) ∃x∃y(F(x) ∧G(y) ∧H(x,y)), 其中, F(x): x是火车, G(y): y是汽车, H(x,y):x比y快.(3) ¬∃x(F(x) ∧∀y(G(y) →H(x,y))) 或∀x(F(x) →∃y(G(y) ∧¬H(x,y))), 其中, F(x): x是汽车, G(y): y是火车, H(x,y):x比y快.(4) ¬∀x∀y(F(x) ∧G(y) →H(x,y)) 或∃x∃y(F(x) ∧G(y) ∧¬H(x,y) ), 其中, F(x): x是汽车, G(y): y是火车, H(x,y):x比y慢.9.给定解释I如下:(a)个体域DI为实数集合\.(b)DI中特定元素⎯a =0.(c)特定函数⎯f (x,y)=x−y, x,y∈DI.(d)特定谓词⎯F(x,y): x=y,⎯G(x,y): x<y, x,y∈DI.说明下列公式在I下的含义, 并指出各公式的真值:(1) ∀x∀y(G(x,y) →¬F(x,y))(2) ∀x∀y(F(f(x,y),a) →G(x,y))(3) ∀x∀y(G(x,y) →¬F(f(x,y),a))(4) ∀x∀y(G(f(x,y),a) →F(x,y))答：(1) ∀x∀y(x<y→x≠y), 真值为1.(2) ∀x∀y((x−y=0) →x<y), 真值为0.(3) ∀x∀y((x<y) → (x−y≠0)), 真值为1.(4) ∀x∀y((x−y<0) → (x=y)), 真值为0.习题五5.给定解释I如下:(a) 个体域D={3,4}.(b)⎯f (x)为⎯f (3)=4,⎯f (4)=3.(c)⎯F(x,y)为⎯F(3,3)=⎯F(4,4)=0,⎯F(3,4)=⎯F(4,3)=1.试求下列公式在I下的真值:(1) ∀x∃yF(x,y)(2) ∃x∀yF(x,y)(3) ∀x∀y(F(x,y) →F(f(x),f(y)))答：(1) ∀x∃yF(x,y)⇔(F(3,3)∨F(3,4))∧(F(4,3)∨F(4,4))⇔(0∨1)∧(1∨0) ⇔1(2)∃x∀yF(x,y)⇔(F(3,3)∧F(3,4))∨(F(4,3)∧F(4,4))⇔(0∧1)∨(1∧0)⇔0(3)∀x∀y(F(x,y)→F(f(x),f(y)))⇔(F(3,3)→F(f(3),f(3)))∧(F(4,3)→F(f(4),f(3)))∧(F(3,4)→F(f(3),f(4)))∧(F(4,4)→F(f(4),f(4))) ⇔ (0→0)∧(1→1)∧(1→1)∧(0→0)⇔112.求下列各式的前束范式.(1) ∀xF(x) →∀yG(x, y);(3) ∀xF(x, y) ↔∃xG(x, y);答：前束范式不是唯一的.(1) ∀xF(x) →∀yG(x, y) ⇔∃x(F(x) →∀yG(x, y))⇔∃x∀y(F(x) → G(x, y)).(3) ∀xF(x, y) ↔∃xG(x, y) ⇔ (∀xF(x, y) →∃xG(x, y)) ∧ (∃xG(x, y) →∀xF(x, y)) ⇔ (∀x1F(x1, y) →∃x2G(x2, y)) ∧ (∃x3G(x3, y) →∀x4F(x4, y)) ⇔∃x1∃x2(F(x1, y) → G(x2, y)) ∧∀x3∀x4(G(x3, y) → F(x4, y)) ⇔∃x1∃x2∀x3∀x4((F(x1, y) → G(x2, y)) ∧ (G(x3, y) → F(x4, y))).13.将下列命题符号化, 要求符号化的公式全为前束范式:(1) 有的汽车比有的火车跑得快.(2) 有的火车比所有的汽车跑得快.(3) 说所有的火车比所有的汽车跑得快是不对的.(4) 说有的飞机比有的汽车慢是不对的.答：(1)令F(x):x是汽车,G(y):y是火车,H(x,y):x比y跑得快.∃x(F(x)∧∃y(G(y)∧H(x,y))⇔∃x∃y(F(x)∧G(y)∧H(x, y)).(2)令F(x):x是火车, G( y): y 是汽车,H(x,y):x比y跑得快.∃x(F(x)∧∀y(G(y)→ H(x,y)))⇔∃x∀y(F(x)∧(G y)→H(x,y))).;错误的答案:∃x∀y(F(x)∧G(y)→H(x,y)).(3)令F(x):x是火车,G(y):y是汽车,H(x,y):x比y跑得快.¬∀x(F(x)→∀y(G(y)→H(x,y)))⇔¬∀x∀y(F(x)→(G(y)→H(x,y)))⇔¬∀x∀y(F(x)∧G(y)→H(x,y))(不是前束范式)⇔∃x∃y(F(x)∧G(y)∧H(x,y)).(4)令F(x):x是飞机,G(y):y是汽车,H(x,y):x比y跑得慢.¬∃x(F(x)∧∃y(G(y)∧H(x,y)))⇔¬∃x∃y(F(x)∧G(y)∧H(x,y))(不是前束范式)⇔∀x∀y¬(F(x)∧G(y)∧H(x,y))⇔∀x∀y(F(x)∧G(y)→¬H(x,y)).21.24.在自然推理系统F中, 构造下面推理的证明:每个喜欢步行的人都不喜欢骑自行车. 每个人或者喜欢骑自行车或者喜欢乘汽车. 有的人不喜欢乘汽车, 所以有的人不喜欢步行. (个体域为人类集合) 答：令 F(x): x 喜欢步行, G( x): x喜欢骑自行车, H(x): x 喜欢乘汽车.前提:∀x(F(x)→¬G(x)), ∀x(G(x)∨H(y)),∃x¬H(x).结论:∃x¬F(x).② ∀x(G(x) ∨ H(y)) 前提引入② G(c) ∨ H(c) ①UI③∃x¬H(x) 前提引入④¬H(c) ③UI⑤ G(c) ②④析取三段⑥∀x(F(x) →¬G(x)) 前提引入⑦ F(c) →¬G(c) ⑥UI⑧¬F(c) ⑤⑦拒取⑨∃x¬F(x) ⑧EG习题七12.设A={0, 1, 2, 3}, R是A上的关系, 且R={〈0, 0〉, 〈0, 3〉, 〈2, 0〉, 〈2,1〉, 〈2, 3〉, 〈3, 2〉} 给出R的关系矩阵和关系图.16.设A={a,b,c,d}, R1,R2为A上的关系, 其中R1={〈a,a〉,〈a,b〉,〈b,d〉}R2={〈a,d〉,〈b,c〉,〈b,d〉,〈c,b〉} 求R1·R2, R2·R1,R1²,R2³. R1·R2={〈a,a〉,〈a,c〉,〈a,d〉},R2·R1={〈c,d〉}, R1²={〈a,a〉,〈a,b〉,〈a,d〉},R2³={〈b,c〉,〈b,d〉,〈c,b〉}20.设R1和R2为A上的关系,证明: (1)(R1∪R2) −1=R1−1∪R2−1(2)(R1∩R2) −1=R1−1∩R2−1答：(1)(R1∪R2)−1=R1−1∪R2−1任取〈x,y〉〈x,y〉(∈R1∪R2)−1⇔〈y,x〉(∈R1∪R2)⇔〈y,x〉∈R1∨ (y,x)∈R2)⇔〈x,y〉∈R1−1∨〈x,y〉∈R2−1⇔〈x,y〉∈R1−1∨R2−1所以(R1∪R2) −1=R1−1∪R2−1(2)(R1∩R2) −1=R1−1∩R2−1 任取〈x,y〉〈x,y〉(∈R1∩R2) −1⇔〈y,x〉(∈R1∩R2)⇔〈y,x〉∈R1∧ (y,x)∈R2)⇔〈x,y〉∈R1−1∧〈x,y〉∈R2−1⇔〈x,y〉∈R1−1∧R2−1所以(R1∪R2) −1=R1−1∩R2−126.33.43.16.47.。
离散数学第四章部分答案
离散数学第四章部分答案（1）设S={1，2}，R 是S 上的⼆元关系，且xRy 。
如果R=Is ，则（A ）；如果R 是数的⼩于等于关系，则（B ），如果R=Es ，则（C ）。
（2）设有序对与有序对<5,2x+y>相等，则 x=(D),y=(E). 供选择的答案A 、B 、C ：① x,y 可任意选择1或2；② x=1,y=1；③ x=1,y=1 或 2；x=y=2；④ x=2,y=2；⑤ x=y=1或 x=y=2；⑥ x=1,y=2；⑦x=2,y=1。
D 、E ：⑧ 3；⑨ 2；⑩-2。
答案： A: ⑤ B: ③ C: ① D: ⑧ E: ⑩设S=<1,2,3,4>,R 为S 上的关系，其关系矩阵是0001100000011001 则（1）R 的关系表达式是（A ）。
（2）domR=(B),ranR=(C).（3）R R 中有（D ）个有序对。
（4）R ¯1的关系图中有（E ）个环。
供选择的答案A :①<1,1>,<1,2>,<1,4>,<4,1>,<4,3>；②<1,1>,<1,4>,<2,1>,<4,1>,<3,4>；B 、C ：③1，2，3，4；④1，2，4；⑤1，4⑥1，3，4。
D 、E ⑦1；⑧3；⑨6；⑩7。
答案： A:② B:③ C:⑤ D:⑩ E:⑦设R 是由⽅程x+3y=12定义的正整数集Z+上的关系，即 {＜x,y ＞︳x,y ∈Z+∧x+3y=12}, 则（1）R 中有A 个有序对。
（2）dom=B 。
(3)R ↑{2,3,4,6}=D 。
(4){3}在R 下的像是D 。
（5）R 。
R 的集合表达式是E 。
供选择的答案 A:①2;②3;③4.B 、C 、D 、E:④{＜3，3＞}；⑤{＜3，3＞，＜6，2＞}；⑥{0，3，6，9，12}；⑦{3，6，9}；⑧{3}；⑨Ф；⑩3。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
一、单项选择题（共 10 道试题，共 100 分。
）
1. 设完全图K n有n个结点(n≥2)，m条边，当（）时，K n中存
在欧拉回路．
A. m为奇数
B. n为偶数
C. n为奇数
D. m为偶数
满分：10 分
2. 设G是连通平面图，有v个结点，e条边，r个面，则r=
( )．
A. e－v＋2
B. v＋e－2
C. e－v－2
D. e＋v＋2
满分：10 分
3.
设有向图（a）、（b）、（c）与（d）如图四所示，则下列结论成立的是( )．
图四
A. （a）是强连通的
B. （b）是强连通的
C. （c）是强连通的
D. （d）是强连通的
满分：10 分
4.
如图一所示，以下说法正确的是( ) ．
A. {(a, e)}是割边
B. {(a, e)}是边割集
C. {(a, e) ,(b, c)}是边割集
D. {(d, e)}是边割集
满分：10 分
5. 无向树T有8个结点，则T的边数为( )．
A. 6
B. 7
C. 8
D. 9
满分：10 分
6. 已知一棵无向树T中有8个顶点，4度、3度、2度的分支点
各一个，T的树叶数为( )．
A. 8
B. 5
C. 4
D. 3
满分：10 分
7. 若G是一个汉密尔顿图，则G一定是( )．
A. 平面图
B. 对偶图
C. 欧拉图
D. 连通图
满分：10 分
8. 若G是一个欧拉图，则G一定是( )．
A. 平面图
B. 汉密尔顿图
C. 连通图
D. 对偶图
满分：10 分
9. 已知无向图G的邻接矩阵为，则G有
（）．
A. 5点，8边
B. 6点，7边
C. 6点，8边
D. 5点，7边
满分：10 分
10.
图G如图二所示，以下说法正确的是( )．
A. a是割点
B. {b,c}是点割集
C. {b, d}是点割集
D. {c}是点割集
满分：10 分
一、单项选择题（共 10 道试题，共 100 分。
）
1. 下列公式中( )为永真式．
A. ⌝A∧⌝B ↔⌝A∨⌝B
B. ⌝A∧⌝B ↔⌝(A∨B)
C. ⌝A∧⌝B ↔A∨B
D. ⌝A∧⌝B ↔⌝(A∧B)
满分：10 分
2. 下列公式( )为重言式．
A. ⌝P∧⌝Q↔P∨Q
B. (Q→(P∨Q)) ↔(⌝Q∧(P∨Q))
C. (P→(⌝Q→P))↔(⌝P→(P→Q))
D. (⌝P∨(P∧Q)) ↔Q
满分：10 分
3. 设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没
有一个国家级运动员不是健壮的”可符号化为( )．
A.
B.
C.
D.
满分：10 分
4. 设A（x）：x是人，B（x）：x是学生，则命题“不是所有人都
是学生”可符号化为（）．
A. (x)(A(x)∧B(x))
B. ⌝(x)(A(x)∧B(x))
C. ⌝(∀x)(A(x)→B(x))
D. ⌝(x)(A(x)∧⌝B(x))
满分：10 分
5. 命题公式的析取范式是( )．
A.
B.
C.
D.
满分：10 分
6. 设命题公式G：，则使公式G取真值为1的P，
Q，R赋值分别是( )．
A. 0, 0, 0
B. 0, 0, 1
C. 0, 1, 0
D. 1, 0, 0
满分：10 分
7. 下列等价公式成立的为( )．
A. ⌝P∧⌝Q⇔P∨Q
B. P→(⌝Q→P) ⇔⌝P→(P→Q)
C. Q→(P∨Q) ⇔⌝Q∧(P∨Q)
D. ⌝P∨(P∧Q) ⇔Q
满分：10 分
8. 表达式中的辖域
是( )．
A. P(x, y)
B. P(x, y)∨Q(z)
C. R(x, y)
D. P(x, y)∧R(x, y)
满分：10 分
9. 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当
我有时间时”符号化为( )．
A.
B.
C.
D.
满分：10 分
10. 下列公式成立的为( )．
A. ⌝P∧⌝Q ⇔P∨Q
B. P→⌝Q⇔⌝P→Q
C. Q→P⇒ P
D. ⌝P∧(P∨Q)⇒Q
满分：10 分。