取a 1的e 1∈T,a 2的e 2∈T,a 3的e 3∈T,a 4的e 4∈T,a 5的e 5∈T,即，
1 2
3 6 8 12 2
4 36
T 的总权和=1+2+3+4+5=15
12、设A={0,1}，B={1,2}，确定如下集合：a)A B ′；b){1}A B 创。 解：a)、{0,1,1,1,0,2,1,2}A B ?<><><><>
b)、{1}{0,1,1,1,1,1,0,1,2,1,1,2}A B 创=<><><><>
13、假设英文字母，a ，e ，h ，n ，p ，r ，w ，y 出现的频率分别为12%，8%，15%，7%，6%，10%，5%，10%，求传输它们的最佳前缀码，并给出happy new year 的编码信息。
解：根据权数构造最优二叉树：
传输它们的最佳前缀码如上图所示，happy new year 的编码信息为： 10 011 0101 0101 001 110 111 0100 001 111 011 000
附：最优二叉树求解过程如下：
14、个体域为{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
15、写出IF P THEN Q ELSE R的命题公式表达。要求分别给出两种范式的最简形式：（1）合取范式；（2）析取范式。（注：所谓最简形式指公式长度最短）解：合取范式
析取范式
16、设个体域D＝{2，3，6}，F（x）：x≤3，G（x）：x>5，消去公式x（F（x）∧yG（y））中的量词，并讨论其真值。
解：消去量词：
真值：在给定解释下F（2），F（3）为真，F（6）为假，故F（2）∧F（3）∧F （6）为假，从而整个公式的真值为假。
17、设X={{{1，2}，{1}}，{1，0}}，求X 热，X 乔。
解：X 热={0，1，2}=3 X 乔无定义。
18、根据有向图的邻接矩阵，写出该有向图的关系R ，并求出关系R 的自反闭包
和对称闭包。邻接矩阵：110001010骣÷?÷?÷?÷?÷?÷?÷÷?桫
解：关系{,,,,,,,}R a a a b b c c b =<><><><>
(){,,,,,,,,,,,}x r R R I a a b b c c a b b c c b =?<><><><><><>
(){,,,,,,,,,}c s R R R a a a b b a b c c b =?<><><><><>
19、（1）叙述幂集的定义；（2）求集合P={Ф，{a}}的幂集ρ(P)。
解：
（1）集合的所有子集构成的集合
（2）(){}{}{}{}{}{}
P P a a φφφ=，，，，
20、集合A={a ，b ，c ，d }上的关系R={（a ，b ），（b ，c ），（c ，c ）}，求R 的自反闭包r(R)和对称闭包t(R)。
解：
（1）()()()()()()(){},,,,,,,,,,,r R R Q a b b c c c a a b b d d ==U
（2）()()(){}2,,,,,R R R a c b c c c ==o
()()(){}32,,,,,R R R a c b c c c ==o ()()()()(){}23,,,,,,,t R R R R a b a c b c c c ∴==U U
五、证明题
1、证明下面关于集合A 和B 的命题是相互等价的。
（1）AB ；（2）A ∪B ＝B ；（3）A ∩B ＝A 。
证明：通过证明
来说明它们是等价的。
（1）首先证明
已知，A的每个元素都是B中的元素，从集合运算的定义知
A∪B＝{x|x∈A或x∈B}＝{x|x∈B}＝B
（2）再证明
已知A∪B＝B，等式两边同时与A求交仍然相等。
A∩B
＝A∩（A∪B）
＝（A∪Φ）∩（A∪B）
＝A∪（Φ∩B）
＝A∪Φ
＝A
（3）最后证明
已知。
2、简单图的最大度小于结点数。
证明1：设简单图G有n个结点。对于任一结点u，由于G没有环和平行边，u 至多与其余n-1个结点中的每一个有一条边相连接，即d eg(u)≤n-1，因此，
△(G)=max deg(u)≤n-1
证明2：
设简单图有n个结点，某结点的度为最大度，因为简单图任一结点没有平行边，而任一结点必须有另一个结点，则其最多有n-1条边与其它结点相连，因此其度数最多只有n-1条，小于结点数n。
3、若图G中恰有两个奇数度顶点，则这两个顶点是连通的。
证明：设G中两个奇数度结点分别为u，v。若 u，v不连通则至少有两个连通分
支G
1、G
2
，使得u，v分别属于G
1
和G
2
。于是G
1
与G
2
中各含有一个奇数度结点，
与握手定理矛盾。因而u，v必连通。
4、已知A、B、C是三个集合，证明(A∪B)－C＝(A－C)∪(B－C)。
证明：因为
x ∈(A ∪B)－C ?x ∈(A ∪B)－C
?x ∈(A ∪B)∧x ?C
?(x ∈A ∨x ∈B)∧x ?C
?(x ∈A ∧x ?C)∨(x ∈B ∧x ?C)
?x ∈(A －C)∨x ∈(B －C)
?x ∈(A －C)∪(B －C)
所以，(A ∪B)－C ＝(A －C)∪(B －C)。
5、证明等价式(())()()P Q R Q R P R R ?∧?∧∨∧∨∧?。
证明：
(())()()
(())(())
(())(())
(()())(()())1P Q R Q R P R P Q R Q P R P Q R Q P R P Q Q P R P Q P Q R
R
R
?∧?∧∨∧∨∧??∧?∧∨∨∧??∧?∧∨∨∧??∧?∨∨∧??∨∨∨∧?∧?
6、利用真值表证明公式（（P →Q ）∧（Q →R ））→（P →R ）为永真式。 证明：真值表
因此公式为永真式。
7、证明苏格拉底三段论：“人都是要死的，苏格拉底是人，所以苏格拉底是要死的。”
证明：
个体域取全总个体域，令F(x)：x是人，G(x)：x是要死的，a:苏格拉底，则前提：x(F(x)→G(x)), F(a)
结论：G(a)
推理形式：x(F(x)→G(x)), F(a)G(a)
（1）x(F(x)→G(x)) P
（2）F(a)→G(a) US,(1)
（3）F(a) P
（4）G(a) T,I,(2),(3)
8、若有n个人，每个人都恰有三个朋友，则n必为偶数。
证明：将每个人用结点表示，当两个人是朋友时，则对应两结点连一条边，则得一无向图
deg(V
u
u∈
=，由
?
)
,3
>
=V
( G,。因为每个人恰有三个朋友，所以，)
任意图奇数度结点一定是偶数个，可知，此图结点数一定是偶数。
离散数学答案屈婉玲版第二版高等教育出版社课后答案
离散数学答案屈婉玲版 第二版高等教育出版社课后答案 第一章部分课后习题参考答案 16 设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。 （1）p∨(q∧r)?0∨(0∧1) ?0 （2）（p?r）∧(﹁q∨s) ?（0?1）∧(1∨1) ?0∧1?0. （3）（?p∧?q∧r）?(p∧q∧﹁r) ?（1∧1∧1）? (0∧0∧0)?0 (4)（?r∧s）→(p∧?q) ?（0∧1）→(1∧0) ?0→0?1 17．判断下面一段论述是否为真：“π是无理数。并且，如果3是无理数，则2也是无理数。另外6能被2整除，6才能被4整除。” 答：p: π是无理数1 q: 3是无理数0 r: 2是无理数 1 s: 6能被2整除1 t: 6能被4整除0 命题符号化为：p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。19．用真值表判断下列公式的类型： （4）(p→q) →(?q→?p) （5）(p∧r) ?(?p∧?q) （6）((p→q) ∧(q→r)) →(p→r) 答：（4） p q p→q ?q ?p ?q→?p (p→q)→(?q→?p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式
（5）公式类型为可满足式（方法如上例） （6）公式类型为永真式（方法如上例） 第二章部分课后习题参考答案 3.用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值. (1) ?(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 答：(2)（p→(p∨q)）∨(p→r)?(?p∨(p∨q))∨(?p∨r)??p∨p∨q∨r?1所以公式类型为永真式 (3)P q r p∨q p∧r （p∨q）→(p∧r) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 所以公式类型为可满足式 4.用等值演算法证明下面等值式： (2)(p→q)∧(p→r)?(p→(q∧r)) (4)(p∧?q)∨(?p∧q)?(p∨q) ∧?(p∧q) 证明（2）(p→q)∧(p→r) ?(?p∨q)∧(?p∨r) ??p∨(q∧r)) ?p→(q∧r) （4）(p∧?q)∨(?p∧q)?(p∨(?p∧q)) ∧(?q∨(?p∧q)
屈婉玲版离散数学课后习题答案【2】
第四章部分课后习题参考答案 3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值: (1) 对于任意x,均有错误！未找到引用源。2=(x+错误！未找到引用源。)(x 错误！未找到引用源。). (2) 存在x,使得x+5=9. 其中(a)个体域为自然数集合. (b)个体域为实数集合. 解： F(x): 错误！未找到引用源。2=(x+错误！未找到引用源。)(x 错误！未找到引用源。). G(x): x+5=9. (1)在两个个体域中都解释为)(x xF ?，在（a ）中为假命题，在(b)中为真命题。 (2)在两个个体域中都解释为)(x xG ?，在（a ）(b)中均为真命题。 4. 在一阶逻辑中将下列命题符号化: (1) 没有不能表示成分数的有理数. (2) 在北京卖菜的人不全是外地人. 解: (1)F(x): x 能表示成分数 H(x): x 是有理数 命题符号化为: ))()((x H x F x ∧??? (2)F(x): x 是北京卖菜的人 H(x): x 是外地人 命题符号化为: ))()((x H x F x →?? 5. 在一阶逻辑将下列命题符号化: (1) 火车都比轮船快. (3) 不存在比所有火车都快的汽车. 解: (1)F(x): x 是火车; G(x): x 是轮船; H(x,y): x 比y 快
命题符号化为: )) F x G x→ ∧ ? ? y y ( )) ( ) , x ((y ( H (2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快 命题符号化为: ))) x x F y y→ ?? ∧ ? G (y H ( , ( ) ( ( x ) 9.给定解释I如下: (a) 个体域D为实数集合R. (b) D中特定元素错误！未找到引用源。=0. (c) 特定函数错误！未找到引用源。(x,y)=x错误！未找到引用源。y,x,y D ∈错误！未找到引用源。. (d) 特定谓词错误！未找到引用源。(x,y):x=y,错误！未找到引用源。(x,y):x离散数学 第2章 习题解答
第2章习题解答 2.1 本题没有给出个体域,因而使用全总个体域. (1) 令x (是鸟 x F:) (会飞翔. G:) x x 命题符号化为 x F ?. G x→ ) ( )) ( (x (2)令x x (为人. F:) (爱吃糖 G:) x x 命题符号化为 x F x→ G ?? )) ( ) ( (x 或者 F x? x ∧ ? ) )) ( ( (x G (3)令x x (为人. F:) G:) (爱看小说. x x 命题符号化为 x F ?. G x∧ (x ( )) ( ) (4) x (为人. x F:) (爱看电视. G:) x x 命题符号化为 F x? ∧ ??. x G ( ) ( )) (x 分析 1°如果没指出要求什么样的个体域，就使用全总个休域，使用全总个体域时，往往要使用特性谓词。（1）-（4）中的) F都是特性谓词。 (x 2°初学者经常犯的错误是，将类似于（1）中的命题符号化为 F x ? G x∧ ( )) ( ) (x
即用合取联结词取代蕴含联结词，这是万万不可的。将（1）中命题叙述得更透彻些，是说“对于宇宙间的一切事物百言，如果它是鸟，则它会飞翔。”因而符号化应该使用联结词→而不能使用∧。若使用∧，使（1）中命题变成了“宇宙间的一切事物都是鸟并且都会飞翔。”这显然改变了原命题的意义。 3° （2）与（4）中两种符号化公式是等值的，请读者正确的使用量词否定等值式，证明（2），（4）中两公式各为等值的。 2.2 (1)d (a),(b),(c)中均符号化为 )(x xF ? 其中,12)1(:)(22++=+x x x x F 此命题在)(),(),(c b a 中均为真命题。 （2） 在)(),(),(c b a 中均符号化为 )(x xG ? 其中02:)(=+x x G ，此命题在（a ）中为假命题，在(b)(c)中均为真命题。 （3）在)(),(),(c b a 中均符号化为 )(x xH ? 其中.15:)(=x x H 此命题在)(),(b a 中均为假命题，在(c)中为真命题。 分析 1°命题的真值与个体域有关。 2° 有的命题在不同个体域中，符号化的形式不同，考虑命题 “人都呼吸”。 在个体域为人类集合时，应符号化为 )(x xF ? 这里，x x F :)(呼吸，没有引入特性谓词。 在个体域为全总个体域时，应符号化为 ))()((x G x F x →? 这里，x x F :)(为人，且)(x F 为特性谓词。x x G :)(呼吸。 2．3 因题目中未给出个体域，因而应采用全总个体域。
离散数学课后习题答案_屈婉玲(高等教育出版社)
第一章部分课后习题参考答案 16 设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。 （1）p∨(q∧r)?0∨(0∧1) ?0 （2）（p?r）∧(﹁q∨s) ?（0?1）∧(1∨1) ?0∧1?0. （3）（?p∧?q∧r）?(p∧q∧﹁r) ?（1∧1∧1）? (0∧0∧0)?0 (4)（?r∧s）→(p∧?q) ?（0∧1）→(1∧0) ?0→0?1 17．判断下面一段论述是否为真：“π是无理数。并且，如果3是无理数，则2也是无理数。另外6能被2整除，6才能被4整除。” 答：p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1 s:6能被2整除 1 t: 6能被4整除0 命题符号化为：p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。19．用真值表判断下列公式的类型： （4）(p→q) →(?q→?p) （5）(p∧r) ?(?p∧?q) （6）((p→q) ∧(q→r)) →(p→r) 答：（4） p q p→q ?q ?p ?q→?p (p→q)→(?q→?p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式 （5）公式类型为可满足式（方法如上例） （6）公式类型为永真式（方法如上例） 第二章部分课后习题参考答案 3.用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值.
(1) ?(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 答：(2)（p→(p∨q)）∨(p→r)?(?p∨(p∨q))∨(?p∨r)??p∨p∨q∨r?1所以公式类型为永真式 (3)P q r p∨q p∧r （p∨q）→(p∧r) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 所以公式类型为可满足式 4.用等值演算法证明下面等值式： (2)(p→q)∧(p→r)?(p→(q∧r)) (4)(p∧?q)∨(?p∧q)?(p∨q) ∧?(p∧q) 证明（2）(p→q)∧(p→r) ? (?p∨q)∧(?p∨r) ??p∨(q∧r)) ?p→(q∧r) （4）(p∧?q)∨(?p∧q)?(p∨(?p∧q)) ∧(?q∨(?p∧q) ?(p∨?p)∧(p∨q)∧(?q∨?p) ∧(?q∨q) ?1∧(p∨q)∧?(p∧q)∧1 ?(p∨q)∧?(p∧q) 5.求下列公式的主析取范式与主合取范式，并求成真赋值 (1)(?p→q)→(?q∨p) (2)?(p→q)∧q∧r (3)(p∨(q∧r))→(p∨q∨r) 解： （1）主析取范式 (?p→q)→(?q∨p)
离散数学(第2版)-在线作业-2
离散数学(第2版)_在线作业_2 交卷时间：2017-01-12 10:56:42 一、单选题 1. (5分) 设R是实数集合，R上的运算*定义为，则为( )。 纠错 得分： 5 知识点：离散数学(第2版) 收起解析 答案 B 解析 2. (5分) ?
得分： 5 知识点：离散数学(第2版) 收起解析 答案 B 解析 3. (5分) 纠错 得分： 5 知识点：离散数学(第2版) 收起解析 答案 C 解析 4. (5分) 谓词公式中变元( )。
得分： 5 知识点：离散数学(第2版) 收起解析 答案 C 解析 5. (5分) 设上的关系，则R的定义域等于( )。 ? A. ? B. ? C. ? D. 纠错 得分： 5 知识点：离散数学(第2版) 收起解析 答案 D 解析 6. (5分) 集合的交运算不满足( )。
得分： 5 知识点：离散数学(第2版) 收起解析 答案 B 解析 7. (5分) 纠错 得分： 5 知识点：离散数学(第2版) 收起解析 答案 A 解析 8. (5分) ? B. ? C. ? D. 集合的并运算不满足( )。 设，下面命题为假的是( )。
得分： 5 知识点： 离散数学(第2版) 收起解析 答案 D 解析 9. (5分) ? A. ? B. ? C. ? D. 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 D 解析 10. (5分) ? A. ? B. ? C. ? D. 纠错 前提，，的逻辑结论不会是( )。 。
得分： 5 知识点：离散数学(第2版) 收起解析 答案 A 解析 11. (5分) 纠错 得分： 5 知识点：离散数学(第2版) 收起解析 答案 B 解析 12. (5分) 。 ? A. ? B. ? C. ? D. 纠错 得分： 5 知识点：离散数学(第2版)
离散数学 第2章 习题解答
习题 2.1 1．将下列命题符号化。 (1) 4不是奇数。 解：设A(x)：x是奇数。a：4。 “4不是奇数。”符号化为：?A(a) (2) 2是偶数且是质数。 解：设A(x)：x是偶数。B(x)：x是质数。a：2。 “2是偶数且是质数。”符号化为：A(a)∧B(a) (3) 老王是山东人或河北人。 解：设A(x)：x是山东人。B(x)：x是河北人。a：老王。 “老王是山东人或河北人。”符号化为：A(a)∨B(a) (4) 2与3都是偶数。 解：设A(x)：x是偶数。a：2，b：3。 “2与3都是偶数。”符号化为：A(a)∧A(b) (5) 5大于3。 解：设G(x,y)：x大于y。a：5。b：3。 “5大于3。”符号化为：G(a,b) (6) 若m是奇数，则2m不是奇数。 解：设A(x)：x是奇数。a：m。b：2m。 “若m是奇数，则2m不是奇数。”符号化为：A(a)→A(b) (7) 直线A平行于直线B当且仅当直线A不相交于直线B。 解：设C(x,y)：直线x平行于直线y。设D(x,y)：直线x相交于直线y。a：直线A。b：直线B。 “直线A平行于直线B当且仅当直线A不相交于直线B。”符号化为：C(a,b)??D(x,y) (8) 小王既聪明又用功，但身体不好。 解：设A(x)：x聪明。B(x)：x用功。C(x)：x身体好。a：小王。 “小王既聪明又用功，但身体不好。”符号化为：A(a)∧B(a)∧?C(a) (9) 秦岭隔开了渭水和汉水。 解：设A(x,y,z)：x隔开了y和z。a：秦岭。b：渭水。c：汉水。 “秦岭隔开了渭水和汉水。”符号化为：A(a,b,c) (10) 除非小李是东北人，否则她一定怕冷。 解：设A(x)：x是东北人。B(x)：x怕冷。a：小李。 “除非小李是东北人，否则她一定怕冷。”符号化为：B(a)→?A(a) 2．将下列命题符号化。并讨论它们的真值。 (1) 有些实数是有理数。 解：设R(x)：x是实数。Q(x)：x是有理数。 “有些实数是有理数。”符号化为：(?x)(R(x)∧Q(x))
离散数学答案第二章习题解答
习题与解答 1. 将下列命题符号化： (1) 所有的火车都比某些汽车快。 (2) 任何金属都可以溶解在某种液体中。 (3) 至少有一种金属可以溶解在所有液体中。 (4) 每个人都有自己喜欢的职业。 (5) 有些职业是所有的人都喜欢的。 解 (1) 取论域为所有交通工具的集合。令 x x T :)(是火车， x x C :)(是汽车， x y x F :),(比y 跑得快。 “所有的火车都比某些汽车快”可以符号化为))),()(()((y x F y C y x T x ∧?→?。 (2) 取论域为所有物质的集合。令 x x M :)(是金属， x x L :)(是液体， x y x D :),(可以溶解在y 中。 “任何金属都可以溶解在某种液体中” 可以符号化为))),()(()((y x D y L y x M x ∧?→?。 (3) 论域和谓词与(2)同。“至少有一种金属可以溶解在所有液体中” 可以符号化为))),()(()((y x D y L y x M x →?∧?。 (4) 取论域为所有事物的集合。令 x x M :)(是人， x x J :)(是职业， x y x L :),(喜欢y 。 “每个人都有自己喜欢的职业” 可以符号化为))),()(()((y x L y J y x M x ∧?→? (5)论域和谓词与(4)同。“有些职业是所有的人都喜欢的”可以符号化为))),()(()((x y L y M y x J x →?∧?。 2. 取论域为正整数集，用函数+（加法），?（乘法）和谓词<，=将下列命题符号化： (1) 没有既是奇数，又是偶数的正整数。 (2) 任何两个正整数都有最小公倍数。 (3) 没有最大的素数。 (4) 并非所有的素数都不是偶数。 解 先引进一些谓词如下： x y x D :),(能被y 整除，),(y x D 可表示为)(x y v v =??。 x x J :)(是奇数，)(x J 可表示为)2(x v v =???。 x x E :)(是偶数，)(x E 可表示为)2(x v v =??。 x x P :)(是素数，)(x P 可表示为)1)(()1(x u u x u v v u x =∨=?=???∧=?。
离散数学(第2版)_在线作业_1
离散数学(第2版)_在线作业_1 交卷时间：2017-01-12 10:34:32 一、单选题 1. (5分) ? A. P∨┐Q ? B. P∧┐Q ? C. ┐P ∧Q ? D. ┐P∨Q 纠错 得分：5 知识点：离散数学(第2版) 收起解析 答案A 解析 2. (5分) ? A. ? B. ? C. 命题变元P和Q的极大项M1表示( )。 设，下面集合等于A的是( )。
? D. 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 B 解析 3. (5分) ? A. ? B. ? C. ? D. 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 C 解析 4. 下面既是哈密顿图又是欧拉图的是( )。
? A. 水开了吗？ ? B. ? C. 请不要抽烟! ? D. 再过5000年，地球上就没有水了 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 D 解析 5. (5分) ? A. 2n-1 ? B. n ? C. n+1 ? D. n-1 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 D 解析 6. 下列语句中为命题的是( )。 n 个结点、m 条边的无向连通图是树当且仅当m=( )。
? A. P ∨┐Q ? B. ┐P ∨Q ? C. ┐P ∧Q ? D. P ∧┐Q 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 C 解析 7. (5分) ? A. ? B. ? C. ? D. 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 B 解析 命题变元P 和Q 的极小项m 1表示( )。 公式的前束范式为( )。
离散数学答案(尹宝林版)第二章习题解答
第二章 谓词逻辑 习题与解答 1. 将下列命题符号化： (1) 所有的火车都比某些汽车快。 (2) 任何金属都可以溶解在某种液体中。 (3) 至少有一种金属可以溶解在所有液体中。 (4) 每个人都有自己喜欢的职业。 (5) 有些职业是所有的人都喜欢的。 解 (1) 取论域为所有交通工具的集合。令 x x T :)(是火车， x x C :)(是汽车， x y x F :),(比y 跑得快。 “所有的火车都比某些汽车快”可以符号化为))),()(()((y x F y C y x T x ∧?→?。 (2) 取论域为所有物质的集合。令 x x M :)(是金属， x x L :)(是液体， x y x D :),(可以溶解在y 中。 “任何金属都可以溶解在某种液体中” 可以符号化为))),()(()((y x D y L y x M x ∧?→?。 (3) 论域和谓词与(2)同。“至少有一种金属可以溶解在所有液体中” 可以符号化为))),()(()((y x D y L y x M x →?∧?。 (4) 取论域为所有事物的集合。令 x x M :)(是人， x x J :)(是职业， x y x L :),(喜欢y 。 “每个人都有自己喜欢的职业” 可以符号化为))),()(()((y x L y J y x M x ∧?→? (5)论域和谓词与(4)同。“有些职业是所有的人都喜欢的”可以符号化为))),()(()((x y L y M y x J x →?∧?。 2. 取论域为正整数集，用函数+（加法），?（乘法）和谓词<，=将下列命题符号化： (1) 没有既是奇数，又是偶数的正整数。 (2) 任何两个正整数都有最小公倍数。 (3) 没有最大的素数。 (4) 并非所有的素数都不是偶数。 解 先引进一些谓词如下： x y x D :),(能被y 整除，),(y x D 可表示为)(x y v v =??。 x x J :)(是奇数，)(x J 可表示为)2(x v v =???。 x x E :)(是偶数，)(x E 可表示为)2(x v v =??。
离散数学课后习题答案(左孝凌版)
离散数学课后习题答案(左孝凌版) 1-1，1-2解： a)是命题，真值为T。 b)不是命题。 c)是命题，真值要根据具体情况确定。 d)不是命题。 e)是命题，真值为T。 f)是命题，真值为T。 g)是命题，真值为F。 h)不是命题。 i)不是命题。 （2）解： 原子命题：我爱北京天安门。 复合命题：如果不是练健美操，我就出外旅游拉。 （3）解： a)(┓P ∧R)→Q b)Q→R c)┓P d)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∧Q b)设P：小李看书。Q：小李听音乐。P∧Q c)设P：气候很好。Q：气候很热。P∨Q d)设P： a和b是偶数。Q：a+b是偶数。P→Q e)设P：四边形ABCD是平行四边形。Q ：四边形ABCD的对边平行。P Q f)设P：语法错误。Q：程序错误。R：停机。（P∨ Q）→ R (6) 解： a)P:天气炎热。Q:正在下雨。 P∧Q b)P:天气炎热。R:湿度较低。 P∧R c)R:天正在下雨。S:湿度很高。 R∨S d)A:刘英上山。B:李进上山。 A∧B e)M:老王是革新者。N:小李是革新者。 M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。 R:我在睡觉。 P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q 1-3 （1）解：
离散数学(第2版)_在线作业_3
离散数学(第2版)_在线作业_3 交卷时间： 2017-01-12 13:46:31 一、单选题 1. (5分 ) ? A. 简单图 ? B. 多重图 ? C. 树 ? D. 完全图 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 B 解析 2. (5分) 设为无环的无向图，，，则G 是( )。
? A. 哈密顿图 ? B. 完全图 ? C. 平面图 ? D. 欧拉图 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 C 解析 3. (5分) ? A. 有么元、可结合 ? B. 有零元、可交换 ? C. 满足结合律、交换律 ? D. 有么元、可交换 纠错 得分： 5 知识点： 离散数学(第2版) 设G 如右图，则G 不是( )。 . 若是群，则运算( )。
答案 A 解析 4. (5分) ? A. G 只有一个顶点的入度为1 ? B. G 只有一个顶点的出度为0 ? C. G 一定是弱连通的 ? D. G 一定是强连通的 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 C 解析 5. (5分) ? A. ? B. ? C. ? D. G 是一棵根树，则( )。 设：，：雪是黑色的，：，：太阳从东方升起，则下列 为真的命题是( )。
得分： 5 知识点： 离散数学(第2版) 收起解析 答案 D 解析 6. (5分 ) ? A. ? B. ? C. ? D. 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 A 解析 7. (5分) ? A. 16 ? B. 14 ? C. 12 下列集合为前缀码的是( )。 设G 是连通的平面图，G 中有11个顶点，5个面，则G 中的边数为( )。
离散数学课后答案
离散数学课后答案 习题一 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
离散数学(第2版)_在线作业_4
离散数学(第2版)_在线作业 _4 交卷时间：2017-01-12 14:00:56 一、单选题 1. (5分) ? A. q ∧┐q ? B. p →┐q ? C. p → (p ∨q) ? D. (p ∨┐p)→q 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 C 解析 2. (5分) ? A. ? B. ? C. ? D. 下列命题公式为重言式的是( )。 设，下列式子正确的是( )。
纠错 得分： 5 知识点： 离散数学(第2版 ) 收起解析 答案 C 解析 3. (5分) ? A. ? B. ? C. ? D. 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 D 解析 4. (5分) ? A. ? B. ? C. 下列是两个命题变元的极小项的是( )。 设G 是有个顶点， 条边和个面的连通平面图，则 等于( )。
? D. 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 C 解析 5. (5分) ? A. 满射函数 ? B. 非单射非满射函数 ? C. 双射函数 ? D. 单射函数 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 C 解析 6. (5分) 设R 是实数集合，函数，则是( )。
? A. 11，3，4 ? B. 10，4，3 ? C. 11，3，5 ? D. 12，3，6 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 A 解析 7. (5分) ? A. x*y=gcd(x,y)，即x,y 的最大公约数 ? B. x*y=lcm(x,y)，即x,y 的最小公倍数 ? C. x*y=max{x,y} ? D. x*y=min{x,y} 纠错 得分： 5 知识点： 离散数学(第2版) 下列平面图的三个面的次数分别是( )。 设集合A={1,2,3,…,10}，下面定义的哪种运算关于集合A 是不封闭的？( )。
离散数学第二版邓辉文编著第一章第二节习题答案
离散数学第二版邓辉文编著第一章第二节习题答案 1.2 映射的有关概念 习题1.2 1. 分别计算?1. 5?，?-1?，?-1. 5?，? 1. 5?，?-1?，?-1. 5?. 解?1. 5?=2，?-1?=-1，?-1. 5?=-1，?1. 5?=1，?-1?=-1，?-1. 5?=-2. 2. 下列映射中，那些是双射? 说明理由. (1)f :Z →Z , f (x ) =3x . (2)f :Z →N , f (x ) =|x |+1. (3)f :R →R , f (x ) =x 3+1. (4)f :N ?N →N , f (x 1, x 2) =x 1+x 2+1. (5)f :N →N ?N , f (x ) =(x , x +1). 解 (1)对于任意对x 1, x 2∈Z ，若f (x 1) =f (x 2) ，则3x 1=3x 2，于是x 1=x 2，所以f 是单射. 由于对任意x ∈Z ，f (x ) ≠2∈Z ，因此f 不是满射，进而f 不是双射. (2)由于2, -2∈Z 且f (2) =f (-2) =3，因此f 不是单射. 又由于0∈N ，而任意x ∈Z 均有f (x ) =|x |+1≠0，于是f 不是满射. 显然，f 不是双射. (3)对于任意对x 1, x 2∈R ，若f (x 1) =f (x 2) ，则x 1+1=x 2+1，于是x 1=x 2，所以f 是单射. 对于任意y ∈R ，取x =(y -1) ，这时 1??3f (x ) =x +1=?(y -1) 3?+1=(y -1) +1=y ， ??33313 所以f 是满射. 进而f 是双射.
新版离散数学答案(尹宝林版)第二章习题解答课件.doc
第二章谓词逻辑 习题与解答 1. 将下列命题符号化： (1) 所有的火车都比某些汽车快。 (2) 任何金属都可以溶解在某种液体中。 (3) 至少有一种金属可以溶解在所有液体中。 (4) 每个人都有自己喜欢的职业。 (5) 有些职业是所有的人都喜欢的。 解(1) 取论域为所有交通工具的集合。令 T(x):x是火车，C(x):x是汽车，F(x,y):x比y跑得快。 “所有的火车都比某些汽车快”可以符号化为x(T(x)y(C(y)F(x,y)))。 (2) 取论域为所有物质的集合。令 M(x):x是金属，L(x):x是液体，D(x,y):x可以溶解在y中。 “任何金属都可以溶解在某种液体中”可以符号化为x(M(x)y(L(y)D(x,y)))。 (3) 论域和谓词与(2)同。“至少有一种金属可以溶解在所有液体中”可以符号化为 x(M(x)y(L(y)D(x,y)))。 (4) 取论域为所有事物的集合。令 M(x):x是人，J(x):x是职业，L(x,y):x喜欢y。 “每个人都有自己喜欢的职业”可以符号化为x(M(x)y(J(y)L(x,y))) (5) 论域和谓词与(4)同。“有些职业是所有的人都喜欢的”可以符号化为x(J(x)y(M(y)L(y,x)))。 2. 取论域为正整数集，用函数（加法），（乘法）和谓词，将下列命题符号化： (1) 没有既是奇数，又是偶数的正整数。 (2) 任何两个正整数都有最小公倍数。 (3) 没有最大的素数。 (4) 并非所有的素数都不是偶数。 解先引进一些谓词如下： D(x,y):x能被y整除，D(x,y)可表示为v(v y x)。 J(x):x是奇数，J(x)可表示为v(v2x)。 E(x):x是偶数，E(x)可表示为v(v2x)。
最新离散数学-第二章命题逻辑等值演算习题及答案
第二章作业 1 评分要求： 2 1. 每小题6分: 结果正确1分; 方法格式正确3分; 计算过程2分. 合计48 3 分 4 2. 给出每小题得分(注意: 写出扣分理由) 5 3. 总得分在采分点1处正确设置. 6 一. 证明下面等值式(真值表法, 解逻辑方程法, 等值演算法, 三种方 7 法每种方法至少使用一次): 8 说明 9 证 10 1. p ?(p ∧q)∨(p ∧?q) 11 解逻辑方程法 12 设 p ?((p ∧q)∨(p ∧?q)) =0, 分两种情况讨论: 13 ?? ?=?∧∨∧=0)()(1 )1(q p q p p 或者 14 ?? ?=?∧∨∧=1 )()(0 )2(q p q p p 15 (1)(2)两种情况均无解, 从而, p ?(p ∧q)∨(p ∧?q)无成假赋值, 为永真式. 16 等值演算法 17 (p ∧q)∨(p ∧?q) 18 ? p ∧(q ∨?q) ∧对∨的分配率 19 ? p ∧1 排中律 20
? p 同一律 21 真值表法 22 即 p? ((p∧q)∨(p∧?q))为永真式, 得证23 2. (p→q)∧(p→r)?p→(q∧r) 24 等值演算法 25 (p→q)∧(p→r) 26 ? (?p∨q)∧(?p∨r)蕴含等值式 27 ??p∨(q∧r)析取对合取的分配律 28 ? p→(q∧r)蕴含等值式 29 3. ?(p?q)?(p∨q)∧?(p∧q) 30 等值演算法 31 ?(p?q) 32 ??( (p→q)∧(q→p) )等价等值式 33 ??( (?p∨q)∧(?q∨p) )蕴含等值式 34
离散数学课后习题答案二
习题3.7 1. 列出关系}6|{=???∈><+ d c b a d c b a d c b a 且，，，，，，Z 中所有有序4元组。 解 }6|{=???∈><+ d c b a d c b a d c b a 且，，，，，，Z ,2,1,3,1,3,1,2,1,2,3,1,1,3,2,1,1,1,1,1,6,1,1,6,1,1,6,1,1,6,1,1,1{><><><><><><><><= ><><><><><><><><2,1,1,3,3,1,1,2,1,2,1,3,1,3,1,2,1,1,2,3,1,1,3,2,1,2,3,1,1,3,2,1 2. 列出二维表 3.18所表示的多元关系中所有5元组。假设不增加新的5元组，找出二维表3.18所有的主键码。 表3.18 航班信息 航空公司 航班 登机口 目的地 起飞时间 Nadir 112 34 底特律 08:10 Acme 221 22 丹佛 08:17 Acme 122 33 安克雷奇 08:22 Acme 323 34 檀香山 08:30 Nadir 199 13 底特律 08:47 Acme 222 22 丹佛 09:10 Nadir 322 34 底特律 09:44 解 略 3. 当施用投影运算5,3,2π到有序5元组>离散数学课后习题答案_(左孝凌版)
1-1，1-2 （1）解： a)是命题，真值为T。 b)不是命题。 c)是命题，真值要根据具体情况确定。 d)不是命题。 e)是命题，真值为T。 f)是命题，真值为T。 g)是命题，真值为F。 h)不是命题。 i)不是命题。 （2）解： 原子命题：我爱北京天安门。 复合命题：如果不是练健美操，我就出外旅游拉。 （3）解：、- a)(┓P ∧R)→Q b)Q→R c)┓P d)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∧Q b)设P：小李看书。Q：小李听音乐。P∧Q c)设P：气候很好。Q：气候很热。P∨Q d)设P： a和b是偶数。Q：a+b是偶数。P→Q e)设P：四边形ABCD是平行四边形。Q ：四边形ABCD的对边平行。P?Q f)设P：语法错误。Q：程序错误。R：停机。（P∨ Q）→ R (6) 解： a)P:天气炎热。Q:正在下雨。 P∧Q b)P:天气炎热。R:湿度较低。 P∧R c)R:天正在下雨。S:湿度很高。 R∨S d)A:刘英上山。B:李进上山。 A∧B e)M:老王是革新者。N:小李是革新者。 M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。 R:我在睡觉。 P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q 1-3 （1）解： a)不是合式公式，没有规定运算符次序（若规定运算符次序后亦可作为合式公式） b)是合式公式 c)不是合式公式（ d)） e)不是合式公式（R和S之间缺少联结词） f)是合式公式。 （2）解： a）A是合式公式，(A∨B)是合式公式，(A→(A∨B))是合式公式。这个过程可以简记为：A；(A∨B)；(A→(A∨B)) 同理可记 b）A；┓A ；(┓A∧B) ；((┓A∧B)∧A) c）A；┓A ；B；(┓A→B) ；(B→A) ；((┓A→B)→(B→A)) d）A；B；(A→B) ；(B→A) ；((A→B)∨(B→A)) （3）解： a）((((A→C)→((B∧C)→A))→((B∧C)→A))→(A→C)) b）((B→A)∨(A→B))。 （4）解： a) 是由c) 式进行代换得到，在c) 中用Q代换P, (P→P)代换Q. d) 是由a) 式进行代换得到，在a) 中用P→(Q→P)代换Q. e) 是由b) 式进行代换得到，用R代换P, S代换Q, Q代换R, P代换S.
离散数学(屈婉玲版)第二章习题答案
For personal use only in study and research; not for commercial use For personal use only in study and research; not for commercial use 2.13 设解释I为：个体域D I ={-2,3,6},一元谓词F（X）：X≤3，G（X）：X>5,R(X):X≤7。在I下求下列各式的真值。 （1）?x(F(x)∧G(x)) 解：?x(F(x)∧G(x)) ?(F(-2) ∧G(-2)) ∧(F(3) ∧G(3)) ∧(F(6) ∧G(6)) ?((-2≤3) ∧(-2>5)) ∧((3≤3) ∧(3>5)) ∧((6≤3) ∧(6<5)) ?((1 ∧0))∧((1 ∧0)) ∧((0 ∧0)) ?0∧0∧0 ?0 (2) ?x(R(x)→F(x))∨G(5) 解：?x(R(x)→F(x))∨G(5) ?(R(-2)→F(-2))∧ (R(3)→F(3))∧ (R(6)→F(6))∨ G(5) ?((-2≤7) →(-2≤3))∧ (( 3≤7) →(3≤3))∧ (( 6≤7) →(6≤3)) ∨ (5>5) ?(1 →1)∧ (1 →1)∧ (1→0) ∨ 0 ?1∧ 1∧ 0 ∨ 0 ?0 (3)?x(F(x)∨G(x)) 解：?x(F(x)∨G(x))
?(F(-2) ∨ G(-2)) ∨ (F(3) ∨G(3)) ∨ (F(6) ∨G(6)) ?((-2≤3) ∨ (-2>5)) ∨ ((3≤3) ∨ (3>5)) ∨ ((6≤3) ∨ (6>5)) ?(1 ∨ 0) ∨ (1 ∨ 0) ∨ (0 ∨ 1) ?1 ∨ 1 ∨ 1 ?1 2.14 求下列各式的前束范式，要求使用约束变项换名规则。 （1）??xF(x)→?yG(x,y) (2) ?（?xF(x,y) ∨?yG(x,y) ） 解：（1）??xF(x)→?yG(x,y) ???xF(x)→?yG(z,y) 代替规则 ??x?F(x)→?yG(z,y) 定理2.1（2 ） ??x(?F(x)→?yG(z,y) 定理2.2（2）③ ??x?y(?F(x)→G(z,y)) 定理2.2（1）④ （2）?（?xF(x,y) ∨?yG(x,y) ） ??(?zF(z,y) ∨?tG(x,t)) 换名规则 ??(?zF(z,y) )∧?(?tG(x,t) ) ??z?F(z,y) ∧?t?G(x,z) ??z (?F(z,y) ∧?t?G(x,z)) ??z ?t(?F(z,y) ∧?G(x,t)) 2.15 求下列各式的前束范式，要求使用自由变项换名规则。（代替规则） （1）?xF(x)∨?yG(x,y) ??xF(x)∨?yG(z,y) 代替规则 ??x（F(x)∨?yG(z,y)）定理2.2（1）① ??x?y（F(x)∨G(z,y)）定理2.2（2）① （2）?x(F(x)∧?yG(x,y,z))→?zH(x,y,z) ??x(F(x)∧?yG(x,y,t))→?zH(s,r,z) 代替规则
