2017离散数学答案(1--5)
02任务_0001
试卷总分：100 测试时间：0
单项选择题
一、单项选择题（共10 道试题，共100 分。）
1. 设集合A = {1, a }，则P(A) = ( )．
A. {{1}, {a}}
B. {,{1}, {a}}
C. {{1}, {a}, {1, a }}
D. {,{1}, {a}, {1, a }}
2. 集合A={1, 2, 3, 4}上的关系R={
A. 不是自反的
B. 不是对称的
C. 传递的
D. 反自反
3. 若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是( )．
A. {a，{a}}A
B. {1，2}A
C. {a}A
D. A
4.
设集合A ={1 , 2, 3}上的函数分别为：f = {<1, 2>，<2, 1>，<3, 3>}，g = {<1, 3>，<2, 2>，<3, 2>}，h = {<1, 3>，<2, 1>，<3, 1>}，
则h =（）．
A. f?g
B. g?f
C. f?f
D. g?g
5. 设集合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. 自反和传递
6. 若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )．
A. A B，且A B
B. B A，且A B
C. A B，且A B
D. A B，且A B
7. 设集合A={1，2，3，4，5}，偏序关系是A上的整除关系，则偏序集
A. 最大元
B. 最小元
C. 极大元
D. 极小元
8. 若集合A的元素个数为10，则其幂集的元素个数为（）．
A. 1024
B. 10
C. 100
D. 1
9. 如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（）个．
A. 0
B. 2
C. 1
D. 3
10. 设集合A={a}，则A的幂集为( )．
A. {{a}}
B. {a，{a}}
C. {，{a}}
D. {，a}
02任务_0002
试卷总分：100 测试时间：0
单项选择题
一、单项选择题（共10 道试题，共100 分。）
1. 设集合A = {1, a }，则P(A) = ( )．
A. {{1}, {a}}
B. {,{1}, {a}}
C. {{1}, {a}, {1, a }}
D. {,{1}, {a}, {1, a }}
2. 设A、B是两个任意集合，侧A-B =??( )．
A. A=B
B. A B
C. A B
D. B?
3. 若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )．
A. A B，且A B
B. B A，且A B
C. A B，且A B
D. A B，且A B
4. 若集合A＝{2，a，{ a }，4}，则下列表述正确的是( )．
A. {a，{ a }}A
B. ?A
C. {2} A
D. { a }A
5. 集合A={1, 2, 3, 4, 5, 6, 7, 8}上的关系R={
A. 自反的
B. 对称的
C. 传递且对称的
D. 反自反且传递的
6. 如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（）个．
A. 0
B. 2
C. 1
D. 3
7. 设A={a，b，c}，B={1，2}，作f：A→B，则不同的函数个数为（）．
A. 2
B. 3
C. 6
D. 8
8. 设集合A={1，2，3，4，5}，偏序关系是A上的整除关系，则偏序集
A. 最大元
B. 最小元
C. 极大元
D. 极小元
9. 若集合A的元素个数为10，则其幂集的元素个数为（）．
A. 1024
B. 10
C. 100
D. 1
10. 设A={a，b}，B={1，2}，C={4，5}，从A到B的函数f={
A. f°g ={
B. g° f ={
C. f°g ={<5，a >, <4，b >}
D. g° f ={<5，a >, <4，b >}
02任务_0003
试卷总分：100 测试时间：0
单项选择题
一、单项选择题（共10 道试题，共100 分。）
1. 设集合A={a}，则A的幂集为( )．
A. {{a}}
B. {a，{a}}
C. {，{a}}
D. {，a}
2. 如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有
（）个．
A. 0
B. 2
C. 1
D. 3
3. 设A={1, 2, 3, 4, 5, 6, 7, 8}，R是A上的整除关系，B={2, 4, 6}，
则集合B的最大元、最小元、上界、下界依次为 ( )．
A. 8、2、8、2
B. 8、1、6、1
C. 6、2、6、2
D. 无、2、无、2
4. 若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是( )．
A. {a，{a}}A
B. {1，2}A
C. {a}A
D. A
离散数学试卷答案2017.6月
浙江农林大学暨阳学院 2016 - 2017 学年第 二 学期考试卷答案 课程名称： 离散数学 课程类别： 必修 考试方式： 闭卷 适用专业： 计算机151-152 注意事项：1、本试卷满分100分。 2、考试时间 120分钟。 一、单项选择题（在每小题的四个备选答案中，选出一个正确答案， 并将正确答案的选项填在题后的括号内。每小题2分，共8分） 1. 公式q p p ?→?→)(的类型是 ( C ) A. 重言式 B. 矛盾式 C. 非重言式的可满足式 D. 以上均不对 2. |A |=n , |B |=m , 且m , n >0, 则|B A |= ( D ) A.m 2 B. 2n C. n m D. m n 3. 集合的广义并}},{},,,{},,,{{d a d c a c b a ?= ( B ) A.},,{c b a B.},,,{d c b a C.},,{d c a D.}{a 4. f ：R→R, f (x )=-x 2+2x -1，则f 是 ( D ) A. 单射 B. 满射 C. 双射 D. 以上均不对 系（部） ： 专业班级： 姓名： 学号： 装 订 线 内 不 要 答 题
二、填空题（每小题3分，共36分） 1. 令p:吴颖用功, q:吴颖聪明，吴颖既用功又聪明符号化为__q p ∧_____ 2. 如果2 <1,则23≥的真值为___1___ 3. (q →p ) ∧q →p 的成真赋值为 ___00,01,10,11_ __ 4. (p →?q)→r ? 13567m m m m m ∨∨∨∨的成假赋值为__000,010,100_ 5. 设A 有3个命题变项, 且已知A= m 2∨m 4∨m 5∨m 6，A 的主合取范式为 ___7310M M M M A ∧∧∧= 6. 设D 为人类集合，G(x)：x 用左手写字，则一阶逻辑中命题有人用左手写字符号 化为__)(x xG ?__ _ 7. 给定解释 I 如下： (a) 个体域 D=R (b) 0a = (c) (,),(,)f x y x y g x y x y =+=? (d) (,):F x y x y = 则公式?xF (g (x ,y ),a ) 在I 下的解释为__)0(=??y x x _____ 8. R = {<1,2>, <2,3>, <1,4>, <2,2>}，S = {<1,1>, <1,3>, <2,3>, <3,2>, <3,3>}， 则S ?R = __{1,2,1,4,3,3,3,2}<><><><>__ 9. 设R={<1,2>,<1,3>,<2,2>,<2,4>,<3,2>}, 则R ?{2} = ___}4,2,2,2{><><___ 10. 设R 为A 上的关系, 则有R 的对称闭包s(R)=__ 1-?R R ____ 11. 设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 04任务_0006 试卷总分：100 测试时间：0 单项选择题 一、单项选择题（共10 道试题，共100 分。） 1. 设有向图（a）、（b）、（c）与（d）如图所示，则下列结论成立的是( )． A. （a）只是弱连通的 B. （b）只是弱连通的 C. （c）只是弱连通的 D. （d）只是弱连通的 2. 设无向图G的邻接矩阵为 ， 则G的边数为( )． A. 1 B. 6 C. 7 D. 14 3. 设无向图G的邻接矩阵为，则G的边数为( )． A. 6 B. 5 C. 4 D. 3 4. 无向简单图G是棵树，当且仅当( )． A. G连通且边数比结点数少1 B. G连通且结点数比边数少1 C. G的边数比结点数少1 D. G中没有回路． 5. 图G如图三所示，以下说法正确的是 ( ) ． A. {(a, d)}是割边 B. {(a, d)}是边割集 C. {(a, d) ,(b, d)}是边割集 D. {(b, d)}是边割集 6. 若G是一个汉密尔顿图，则G一定是( )． A. 平面图 B. 对偶图 C. 欧拉图 D. 连通图 7. 设G是连通平面图，有v个结点，e条边，r个面，则r= ( )． A. e－v＋2 B. v＋e－2 C. e－v－2 D. e＋v＋2 8. 无向完全图K4是（）． A. 欧拉图 B. 汉密尔顿图 C. 非平面图 D. 树 9. 设图G＝ 第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 因题目中未给出个体域，因而应采用全总个体域。 02任务_0001 试卷总分：100 测试时间：0 单项选择题 一、单项选择题（共10 道试题，共100 分。） 1. 设集合A = {1, a }，则P(A) = ( )． A. {{1}, {a}} B. {,{1}, {a}} C. {{1}, {a}, {1, a }} D. {,{1}, {a}, {1, a }} 2. 集合A={1, 2, 3, 4}上的关系R={ 5. 设集合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. 自反和传递 6. 若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )． A. A B，且A B B. B A，且A B C. A B，且A B D. A B，且A B 7. 设集合A={1，2，3，4，5}，偏序关系是A上的整除关系，则偏序集 第一章部分课后习题参考答案 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) 06任务_0001 试卷总分：100 测试时间：0 单项选择题 一、单项选择题（共10 道试题，共100 分。） 1. 命题公式的析取范式是( )． A. B. C. D. 2. 设个体域为整数集，则公式"x$y(x+y=0)的解释可为( )． A. 存在一整数x有整数y满足x+y=0 B. 任一整数x对任意整数y满足x+y=0 C. 对任一整数x存在整数y满足x+y=0 D. 存在一整数x对任意整数y满足x+y=0 3. 下列公式成立的为( )． A. ?P∧?Q ?P∨Q B. P→?Q??P→Q C. Q→P? P D. ?P∧(P∨Q)?Q 4. 下列公式中( )为永真式． A. ?A∧?B ??A∨?B B. ?A∧?B ??(A∨B) C. ?A∧?B ?A∨B D. ?A∧?B ??(A∧B) 5. 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符 号化为( )． A. B. C. D. 6. 命题公式(P∨Q)→R的析取范式是( ) A. ?(P∨Q)∨R B. (P∧Q)∨R C. (P∨Q)∨R D. (?P∧?Q)∨R 7. 命题公式（P∨Q）的合取范式是( )． A. （P∧Q） B. （P∧Q）∨（P∨Q） C. （P∨Q） D. ?（?P∧?Q） 8. 设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别 是( )． A. 0, 0, 0 B. 0, 0, 1 C. 0, 1, 0 D. 1, 0, 0 9. 命题公式P→Q的主合取范式是( )． A. (P∨Q)∧(∏∨?Θ)∧(?∏∨?Θ) B. ?P∧Q C. ?P∨Q D. P∨?Q 10. 下列等价公式成立的为( )． A. ?P∧P??Q∧Q B. ?Q→P?P→Q C. P∧Q?P∨Q D. ?P∨P?Q 习题 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 =∨=?=???∧=?。 离散数学综合练习题 一、判断下列命题是否正确．如果正确，在题后括号内填“\/”； 否则，填“?” （1）空集是任何集合的真子集． （ ） （2）{ }φ是空集． （ ） （3）{}{ }a a a },{∈ （ ） （4）如果B A a ??，则A a ?或B a ?． （ ） （5）设集合},,{321a a a A =，},,{321b b b B =，则 },,,,,{332211><><><=?b a b a b a B A （ ） （6）设集合}1,0{=A ，则 }1},0{,0},0{,1,,0,{><><><><=φφρ 是A 2到A 的关系． （ ） （7）关系的复合运算满足交换律． （ ） （8）设21,ρρ为集合 A 上的等价关系, 则21ρρ?也是集合 A 上的等价关系 ( ) （9）设ρ是集合A 上的等价关系, 则当ρ>∈?<,G 是群．如果对于任意G b a ∈,，有 222)(b a b a ?=? 则>?<,G 是阿贝尔群． （ ） （14）设a 是群>?<,G 的元素，记 }|{y a a y G y y H ?=?∈=且 则>?<,H 是>?<,G 的子群． （ ） （15）<{0，1，2，3，4}，max ，min>是格． （ ） （16）设a ，b 是格>∧∨<,,L 的任意两个元素，则 a b a b b a =∧?=∨． （ ） （17）设>∧∨<,,,B 是布尔代数，则>∧∨<,,B 是格． （ ） （18）设集合},{b a A =，则>??<,},},{},{,{A b a φ是格． （ ） （19）设>∧∨<,,,B 是布尔代数，则对任意B b a ∈,，有 b a b a ∨=∧． （ ） （20）设>∧∨<,,,B 是布尔代数，则对任意B a ∈，都有B b ∈，使得 0,1=∧=∨b a b a ． （ ） （21）n 阶完全图的任意两个不同结点的距离都为1. （ ） （22）在有向图中，结点i v 到结点j v 的有向短程即为j v 到i v 第二章 谓词逻辑 习题与解答 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）解： 02 任务_0001 试卷总分：100 测试时间：0 单项选择题 一、单项选择题(共10道试题，共100 分。) 1. 设集合A = {1, a },则P(A)=( ). A {{1}, { a}} 厂 B. {0{1}, { a}} 厂 C. {{1}, { a}, {1, a }} P D. EU, { a}, {1, a }} 2. 集合A={1,2, 3, 4} 上的关系R={<χ，y>∣χ=y且x, y A},则R的性质为 ( )? A. 不是自反的 厂B.不是对称的 R C.传递的 D.反自反 3. 若集合A= { a , {a}, {1 , 2}},贝U下列表述正确的是()? A. {a, {a}} A C B. {1 , 2}H A * C. {a}l」A 厂D.佻A 4. 设集合A ={1 , 2, 3} 上的函数分别为：f = {<1,2> , <2, 1> , <3, 3>} , g = {<1, 3>, <2, 2> , <3, 2>} , h = {<1,3> , <2, 1> , <3, 1>}, 则h =( ). * A. f?g B. g?f 厂 C. f?f C D. g?g2017离散数学答案(6--10)
离散数学 第2章 习题解答
2017离散数学答案(1--5)
离散数学课后习题答案_屈婉玲(高等教育出版社)
2017离散数学答案1--5)(2)
离散数学 第2章 习题解答
离散数学答案第二章习题解答
离散数学2017秋综合练习题
离散数学答案(尹宝林版)第二章习题解答
离散数学课后习题答案(左孝凌版)
2017离散数学答案(1--5)
相关文档
- 2017离散数学答案(1--5)
- 2017离散数学答案(1--5)
- 2017离散数学答案(1--5)
- 2017离散数学答案-10
- 2017离散数学答案(1--5)
- 离散数学试卷答案2017.6月
- 2017离散数学答案1--5
- 2017离散数学答案1--5)(2)
- 2017离散数学答案6101
- 离散数学试卷2017.6月
- 2017离散数学答案1--5)(2)
- 2017离散数学答案(6--10)
- 2017离散数学答案1--5)
- 大学期末离散数学集合论部分练习题2017
- 2017离散数学答案(1--5)
- 2017离散数学答案(6--10)(1)
- 2017-2018离散数学A+答案
- 2017离散数学答案(1--5)
- 2017离散数学复习题
- 2017离散数学答案(1--5)