离散数学作业汇总.docx
- 文档编号:1836713
- 上传时间:2022-10-24
- 格式:DOCX
- 页数:16
- 大小:144.11KB
离散数学作业汇总.docx
《离散数学作业汇总.docx》由会员分享,可在线阅读,更多相关《离散数学作业汇总.docx(16页珍藏版)》请在冰豆网上搜索。
离散数学作业汇总
第一章命题逻辑的基本概念
一、判断下列语句是否是命题,若是命题是复合命题则请将其符号化
(1)中国有四大发明。
(2)2是有理数。
(3)“请进!
”
(4)刘红和魏新是同学。
(5)a+b
(6)你去图书馆吗?
(7)如果买不到飞机票,我哪儿也不去。
(8)侈而惰者贫,而力而俭者富。
(韩非:
《韩非子显学》)
(9)火星上有生命。
(10)这朵玫瑰花多美丽啊!
二、将下列命题符号化,其中p:
2<1,q:
3<2
(1)只要2<1,就有3<2。
(2)如果2<1,则32。
(3)只有2<1,才有32。
(4)除非2<1,才有32。
(5)除非2<1,否则32。
(6)2<1仅当3<2。
三、将下列命题符号化
(1)小丽只能从筐里拿一个苹果或一个梨。
(2)王栋生于1992年或1993年。
四、设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。
(1)p∨(q∧r)
(2)(p↔r)∧(﹁q∨s)
(3)(p∧q∧r)↔(p∧q∧﹁r)
(4)(r∧s)→(p∧q)
五.判断下面一段论述是否为真:
“是无理数。
并且,如果3是无理数,则也是无理数。
另外6能被2整除,6才能被4整除。
”
六、用真值表判断下列公式的类型:
(1)p∧(p→q)∧(p→q)
(2)(p∧r)(p∧q)
(2)((p→q)∧(q→r))→(p→r)
第二章命题逻辑等值演算
一、用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.
(1)(p∧q→q)
(2)(p→(p∨q))∨(p→r)
(3)(p∨q)→(p∧r)
二、用等值演算法证明下面等值式
(1)(p→q)∧(p→r)(p→(q∧r))
(2)(p∧q)∨(p∧q)(p∨q)∧(p∧q)
三、用等值演算求下列公式的主析取范式与主合取范式,并求成真赋值
(1)(p→q)→(q∨p)
(2)(p→q)∧q∧r
(3)(p∨(q∧r))→(p∨q∨r)
四、用真值表法求下列公式的主析取范式,再用主析取范式求主合取范式
(1)(p∨q)∧r
(2)p→(p∨q∨r)
第三章命题逻辑的推理理论
一、填空
1.数理逻辑的的主要任务是。
推理是指,前提是,结论是。
2.推理正确是指:
3.命题公式A1,A,2,,A,k推B的推理正确当且仅当
二、先把下列命题符号化,再写出前提、结论、推理的形式结构,然后用3种方法证明(真值表法、等值演算法、主析取范式法)证明下列推理是正确的。
若a是奇数,则a不能被2整除。
若a是偶数,则a能被2整除。
因此,若a是偶数,则a不是奇数。
设p:
a是奇数,q:
a能被2整除,r:
a是偶数
三、在自然推理系统下用直接法或用附加前提法或用归谬法构造下列推理的证明
(1)前提:
pq,(qr),r
结论:
p
(2)前提:
qp,qs,st,tr
结论:
pq
(3)前提:
p(qr),sp,q(4)前提:
pq,rq,rs
结论:
sr结论:
p
四、在自然推理系统下构造下列推理的证明
如果我学习,那么我数学不会不及格。
如果不热衷于玩游戏,那么我将学习。
但我数学不及格。
因此我热衷于玩游戏。
第四章一阶逻辑的基本概念
一、将下列命题用0元谓词符号化.
(1)小王学过英语和法语。
(2)除非李建是东北人,否则他一定怕冷。
(3)2大于3仅当2大于4。
(4)3不是偶数。
(5)2或3是素数。
二、在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:
(1)对于任意x,均有
(2)存在x,使得x+5=9.
其中(a)个体域为自然数集合.
(b)个体域为实数集合.
三、在一阶逻辑中将下列命题符号化:
(1)没有不能表示成分数的有理数。
(2)在北京卖菜的人不全是外地人。
(3)乌鸦都是黑的。
(4)有的人天天锻炼身体。
四、给定解释I如下:
(a)个体域D为实数集合R.
(b)D中特定元素=0.
(c)特定函数(x,y)=x-y,x,y
(d)特定谓词(x,y):
x=y,(x,y):
x 说明下列公式在I下的含义,并指出各公式的真值: (1) (2) (3) (4) 五、给定下列各公式一个成真的解释,一个成假的解释。 (1)x(F(x)∨G(x)) (2)x(F(x)∨G(x)∧H(x)) 六、判断下列公式的类型 (1)F(x,y)→(G(x,y)→F(x,y)) (2)xyF(x,y)→xyF(x,y) 第五章一阶逻辑的等值演算与推理 一、设个体域D={a,b,c},消去下列各式的量词 (1)xy(F(x)∧G(y)) (2)xy(F(x)∨G(y)) (3)xF(x)→yG(y) 二、求下列公式的前束范式 (1)xF(x)→yG(x,y) (2)x(F(x,y)→yG(x,y,z)) 三、设个体域D={1,2,3,4},F(x): x是2的倍数,G(x): x是奇数。 将命题x(F(x)→G(y))中的量词消去,并讨论命题的真值。 四、在自然推理系统下用直接法或用附加前提法或用归谬法构造下列推理的证明 ❑1.全称量词消去规则(UI) ❑2.全称量词引入规则(UG) ❑3.存在量词引入规则(EG) ❑4.存在量词消去规则(EI) (1)前提: x(F(x)→G(x)),xF(x) 结论: xG(x) (2)前提: x(F(x)→G(x)) 结论: xF(x)→xG(x) (3)前提: x(F(x)∨G(x)),┐xG(x) 结论: xF(x) 五、在自然推理系统下构造下列推理的证明 没有白色的乌鸦,北京鸭都是白色的。 因此,北京鸭都不是乌鸦。 第六章集合论 一、单项选择题 1.若集合A={a,b},B={a,b,{a,b}},则(). A.AB,且ABB.AB,但AB C.AB,但ABD.AB,且AB 2.若集合A={2,a,{a},4},则下列表述正确的是(). A.{a,{a}}AB.{a}A C.{2}AD.A 3.若集合A={a,{a},{1,2}},则下列表述正确的是(). A.{a,{a}}AB.{2}A C.{a}AD.A 4.若集合A={a,b,{1,2}},B={1,2},则(). A.BA,且BAB.BA,但BA C.BA,但BAD.BA,且BA 5.设集合A={1,a},则P(A)=(). A.{{1},{a}}B.{,{1},{a}} C.{,{1},{a},{1,a}}D.{{1},{a},{1,a}} 6.若集合A的元素个数为10,则其幂集的元素个数为(). A.1024B.10C.100D.1 二、1.设集合A有n个元素,那么A的幂集合P(A)的元素个数为. 2.设集合A={a,b},那么集合A的幂集是. 三、 (1)B、C为任意的三个集合,如果A∪B=A∪C,判断结论B=C是否成立? 并说明理由. (2)B、C为任意的三个集合,如果A⊕B=A⊕C,判断结论B=C是否成立? 并说明理由. 四、1.设集合A={a,b,c},B={b,d,e},求 (1)BA; (2)AB;(3)A-B;(4)BA. 2.设A={{a,b},1,2},B={a,b,{1},1},试计算 (1)(AB) (2)(A∪B)(3)(A∪B)(A∩B) 五.证明集合等式: A(BC)=(AB)(AC) 六、某班有25个学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。 已知6个会打网球的人都会打篮球或排球。 求不会打球的人数。 第七章二元关系 (1) 一、单项选择题 1.集合A={1,2,3,4,5,6,7,8}上的关系R={ A.自反的B.对称的 C.传递且对称的D.反自反且传递的 2.设集合A={1,2,3,4,5,6}上的二元关系R={a,ba,bA,且a+b=8},则R具有的性质为(). A.自反的B.对称的 C.对称和传递的 D.反自反和传递的 3.如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有()个. A.0B.2C.1D.3 4.设集合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.以上都不对 二、填空题 1.设集合A={0,1,2,3},B={2,3,4,5},R是A到B的二元关系, 则R的有序对集合为 . 2.设集合A={0,1,2},B={0,2,4},R是A到B的二元关系, 则R的关系矩阵MR= . 3.设集合A={a,b,c},A上的二元关系 则(RS)-1= . 4.设集合A={a,b,c},A上的二元关系R={,,, 三、设A={a,b},构成集合ρ(A)×A。 四、 (1)列出集合A={2,3,4}上的恒等关系IA,全域关系EA,小于或等于关系LA,整除关系DA. (2)设A={a,b,c,d},,为A上的关系,其中 = 求。 五、设集合A={a,b,c,d}上的二元关系R的关系图 如图1所示. (1)写出R的表达式; (2)写出R的关系矩阵; (3)求出R2. 六、设集合A={1,2,3,4},R={ (1)写出R的集合表示; (2)画出R的关系图; (3)说明R满足自反性,不满足传递性. 第七章二元关系 (2) 一、选择题 1.下列说法正确的是() A.B. C.D. 2.若A={(x,y)|(y-4)/(x+2)=1}和B={(x,y)|y=3x-2},则A∩B为() A.{(x,y)|(y-3)/(x-1)=1} B.{(x,y)|x=4,y=10} C.{(x,y)|y=x+2} D.Ф 3.设A为有限集,元素个数为n个,P(A)为A的幂集,则P(A)的元素个数及的元素个数为() A. B.及 C.及 D.以上全不对 4.设A是非空集合,则A上的空关系不具有() A.反自反性 B.自反性C.对称性D.传递性 5.设,R是A上相等关系“=”,由R产生等价类有() A.10个 B.50个 C.100个 D.1个 6.
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 作业 汇总
![提示](https://static.bdocx.com/images/bang_tan.gif)