《离散数学作业》由会员分享，可在线阅读，更多相关《离散数学作业（21页珍藏版）》请在金锄头文库上搜索。
1、-离散数学 专业班级 学号 姓名 第一章 命题逻辑的基本概念一、单项选择题1下列语句中不是命题的有（ ）.A 9+512 B. 1+3=5 C. 我用的电脑CPU主频是1G吗？D.我要努力学习。2. 下列语句是真命题为( )A. 1+2=5当且仅当2是偶数 B.如果1+2=3，则2是奇数C. 如果1+2=5，则2是奇数 D. 你上网了吗？3. 设命题公式,则使公式取真值为1的p，q，r赋值分别是 ( )4. 命题公式为 ( )(A) 矛盾式(B) 仅可满足式 (C) 重言式 (D) 合取范式5. 设p:我将去市里,q：我有时间命题“我将去市里，仅当我有时间时”符号化为为( )6设P：我听课,Q
2、：我看小说. “我不能一边听课，一边看小说”的符号为（ ）A. ； B. ； C. ； D. 二、判断下列语句是否是命题，若是命题是复合命题则请将其符号化（1）中国有四大发明。（2）2是有理数。（3）“请进！”（4）刘红和魏新是同学。（5）a+b（6）如果买不到飞机票，我哪儿也不去。（8）侈而惰者贫，而力而俭者富。（韩非：韩非子显学）（9）火星上有生命。（10）这朵玫瑰花多美丽啊！二、将下列命题符号化，其中p:21,q:32（1）只要21，就有32。（2）如果21，则32。（3）只有21，才有32。（4）除非21，才有32。（5）除非21，否则32。（6）21仅当32。三、将下列命题符号化(1
3、)小丽只能从筐里拿一个苹果或一个梨。(2)王栋生于1992年或1993年。四、设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。 （1）p(qr) （2）（pr）(qs) （3）（pqr）(pqr) (4)（rs）(pq) 五、用真值表判断下列公式的类型：(1) p(pq)(pq) (2) (pr) (pq)(2)(pq) (qr) (pr)第二章 命题逻辑等值演算一、填空（1）给定两个命题公式A，B，若 ，则称A和B时等值的，记作AB（2）德摩根律为： 。（3）蕴涵等值式为 。 （4）由已知的等值式推演出另外一些等值式的过程称为 。二、用等值演算法判断下列公式的类型，对不是重言式
4、的可满足式，再用真值表法求出成真赋值.(1) (pqq)(2)(p(pq)(pr)(3)(pq)(pr)三、用等值演算法证明下面等值式(1)(pq)(pr)(p(qr)(2)(pq)(pq)(pq) (pq)三、用等值演算求下列公式的析取范式与合取范式。(1)(pq)(qp)(2)(pq)qr(3)(p(qr)(pqr)第三章 命题逻辑的推理理论一、 填空1.数理逻辑的的主要任务是 。推理是指 ， 前提是 ，结论是 。2.推理正确是指： 3.命题公式A1，A,2，A,k推B的推理正确当且仅当 二、先把下列命题符号化，再写出前提、结论、推理的形式结构，然后用真值表法、等值演算法证明下列推理是正确
5、的。若今天是星期一，则明天是星期三。明天不是星期三，所以今天不是星期一。三、 自然推理系统下用直接法或用附加前提法或用归谬法构造推理证明 - 5 -(1)前提：pq,(qr),r结论：p (2)前提：qp,qs,st,tr结论：pq（3）前提：p(qr),sp,q （4）前提：pq,rq,rs结论：sr 结论：p 离散数学标准化作业纸 专业班级 学号 姓名 四、 在自然推理系统下构造下列推理的证明1.如果我学习，那么我数学不会不及格。如果不热衷于玩游戏，那么我将学习。但我数学不及格。因此我热衷于玩游戏。2.只要A曾到过受害者房间并且11点以前没离开，A就是谋杀嫌犯。A曾到过受害者房间。如果A在
6、11点以前离开，看门人就会看见他。看门人没看见他。所以A是谋杀嫌犯。第四章 第五章一、1.设个体域D是正整数集合，确定下列命题为真的是（ ）A x$y (xy=y)B. $xy(x+y=y)C. $xy(x+y=x) D. x$y(y=2x) 2. 设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式 $x(P(x)Q(x)在哪个个体域中为真?( )A.自然数B. 实数 C.复数D. (1)-(3)均成立3. 令R(x):x是实数，Q(x):x是有理数。则命题“并非每个实数都是有理数”的符号化表示为 二、在一阶逻辑中将下列命题符号化:(1) 没有不能表示成分数的有理数。(2) 在北京卖菜的人
7、不全是外地人。(3)乌鸦都是黑的。(4)有的人天天锻炼身体。三、设个体域D=a,b,c,消去下列各式的量词(1) x $y(F(x) G(y)(2) x $y(F(x) G(y)(3) x F(x) $y G(y)四、设个体域D=1,2,3,4，F(x):x是2的倍数，G(x):x是奇数。将命题x (F(x) G(y)中的量词消去，并讨论命题的真值。五、在自然推理系统用直接法或用附加前提法或用归谬法构造下列推理的证明 - 11 -（1）前提：x (F(x) G(x), x F(x) 结论：x G(x) (2) 前提：x(F(x)G(x)结论：xF(x)x G(x)(3) 前提：x(F(x)G(
8、x)，$x G(x)结论：$x F(x)第六章 集合论一、单项选择题1若集合A=a，b，B= a，b， a，b ，则（ ） AAB，且AB BAB，但AB CAB，但AB DAB，且AB2若集合A2，a， a ，4，则下列表述正确的是( )Aa， a A B a A C2A DA3若集合A a，a，1，2，则下列表述正确的是( ) Aa，aA B2ACaA DA4若集合A=a，b， 1，2 ，B= 1，2，则（ ） AB A，且BA BB A，但BA CB A，但BA DB A，且BA 5设集合A = 1, a ，则P(A) = ( ) A1, a B,1, a C,1, a, 1, a D1
9、, a, 1, a 6若集合A的元素个数为10，则其幂集的元素个数为（ ） A1024 B10 C100 D1二、1设集合A有n个元素，那么A的幂集合P(A)的元素个数为 2设集合Aa，b，那么集合A的幂集是 3.设A, B代表集合，命题A-B=A=B的真值为 4. 设A, B为任意集合，命题A-B=AB的真值为 5. 设集合A=,a，则A的幂集P(A)= 6. 设集合A=a,b,c, B=c,d, 那么AB 三、（1）B、C为任意的三个集合，如果AB=AC，判断结论B=C 是否成立？并说明理由（2）B、C为任意的三个集合，如果AB=AC，判断结论B=C 是否成立？并说明理由四、 1设集合Aa, b, c，B=b, d, e，求（1）BA； （2）AB； （3）AB； （4）BA2设A=a, b, 1, 2，B= a, b, 1, 1，试计算（1）（A-B） （2）（AB） （3）（AB）-（AB）五证明集合等式：A- B=A B六、某班有25个学生，其中
