离散数学16章练习题及答案_第1页
离散数学16章练习题及答案_第2页
离散数学16章练习题及答案_第3页
离散数学16章练习题及答案_第4页
离散数学16章练习题及答案_第5页
已阅读5页,还剩3页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、离散数学练习题第一章一填空1.公式的成真赋值为 01;10 2.设p, r为真命题,q, s 为假命题,则复合命题的真值为 0 3.公式共同的成真赋值为 01;10 4.设A为任意的公式,B为重言式,则的类型为 重言式 5设p, q均为命题,在 不能同时为真 条件下,p与q的排斥也可以写成p与q的相容或。二将下列命题符合化1. 不是无理数是不对的。解:,其中p: 是无理数; 或p,其中p: 是无理数。2.小刘既不怕吃苦,又很爱钻研。解:p: 小刘怕吃苦,q:小刘很爱钻研3.只有不怕困难,才能战胜困难。解:,其中p: 怕困难,q: 战胜困难或,其中p: 怕困难, q: 战胜困难4.只要别人有困难

2、,老王就帮助别人,除非困难解决了。解:,其中p: 别人有困难,q:老王帮助别人 ,r: 困难解决了 或:,其中p:别人有困难,q: 老王帮助别人,r: 困难解决了5.整数n是整数当且仅当n能被2整除。解:,其中p: 整数n是偶数,q: 整数n能被2整除三、求复合命题的真值P:2能整除5, q:旧金山是美国的首都, r:在中国一年分四季1. 2.解:p, q 为假命题,r为真命题1.的真值为02. 的真值为1四、判断推理是否正确设为实数,推理如下:若y在x=0可导,则y在x=0连续。y 在x=0连续,所以y在x=0可导。解:,x为实数,令p:在=0可导,q: y在x=0连续。P为假命题,q为真命

3、题,推理符号化为:,由p,q得真值可知,推理的真值为0,所以推理不正确。五、判断公式的类型1,2. 3. 解:设三个公式为A,B,C则真值表如下:p, q ,rABC000101001100010101011101100101101101110100111101由上表可知A为重言式,B为矛盾式,C为可满足式。第二章练习题一填空1.设A为含命题变项p, q, r的重言式,则公式的类型为 重言式 2.设B为含命题变项p, q, r的重言式,则公式的类型为矛盾式 3.设p, q为命题变项,则的成真赋值为 01 ;10 4设p,q 为真命题,r, s为假命题,则复合函数的成真赋值为_0_5.矛盾式的主

4、析取范式为_0_6.设公式A为含命题变项p, q, r又已知A的主合取范式为则A的主合取范式为 二、用等值演算法求公式的主析取范式或主合取范式1.求公式的主合取范式。解:2.求公式的主析取范式,再由主析取范式求出主合取范式。解:三、用其表达式求公式的主析取范式。解:真值表p,q,r00000011010001111001101011001111由上表可知成真赋值为 001;011;100;111四、将公式化成与之等值且仅含中连接词的公式解:五、用主析取范式判断是否等值。解:所以他们等值。第四章 习题一,填空题1.设F(x): x具有性质F,G(x): x具有性质G,命题“对所有x的而言,若x具

5、有性质F,则x具有性质G”的符号化形式为 2.设F(x): x具有性质F,G(x): x具有性质G,命题“有的x既有性质F,又有性质G”的符号化形式为 3. 设F(x): x具有性质F,G(y): y具有性质G,命题“对所有x都有性质F,则所有的y都有性质G”的符号化形式为 4. 设F(x): x具有性质F,G(y): y具有性质G,命题“若存在x具有性质F,则所有的y都没有性质G”的符号化形式为 5.设A为任意一阶逻辑公式,若A中_不含自由出现的个体项_,则称A为封闭的公式。6.在一阶逻辑中将命题符号化时,若没有指明个体域,则使用 全总 个体域。二在一阶逻辑中将下列命题符号化1.所有的整数,

6、不是负整数就是正整数,或是0。解:,其中是整数,是负整数,是正整数,2.有的实数是有理数,有的实数是无理数。解:,其中,是实数,是有理数,是无理数3.发明家都是聪明的并且是勤劳的,王进是发明家,所以王进是聪明的并且是勤劳的。解:,其中:是发明家,是聪明的,是勤劳的,王前进4.实数不都是有理数。解:,其中是实数,是有理数5.不存在能表示成分数的有理数。解:,其中:是无理数,能表示成分数6.若x与y都是实数且x>y,则x+y>y+z解:,其中,是实数,三给定解释I如下:(a)个体域为实数集合R; (b)特定元素; (c)特定函数(d)特定谓词给出下列公式在I的解释,并指出他们的真值:1

7、.解:,即对任意的实数,则;真值为12.解:,即对任意的实数若则其真值为03.解:,即对任意的实数若则其真值为14.解:,即对任意的实数若则其真值为0四给定解释I如下:(a)个体域D=N; (b)特定元素 (c)N上函数(d)N上谓词给出下列公式在I下的解释,并指出他们的真值:1.解:,即对任意的自然数,都有,真值为02.解:,即对任意自然数若,则;其真值为03.解:,即对任意的自然数,都存在,使得;真值为14.解:,即存在自然数使得,其真值为1第六章 习题一,填空1.设, ,则_2.设,则_3.设,则_,1,1,2,1,1,,2_4. 设,则_,1,2,1,2_5.设a,b, (c,d)代表

8、实数区间,那么_3,4_6.设X,Y,Z为任意集合,且,若则一定有_7.设则_二,简答题1.设,计算: ; ; ; ; ;1,2,3,5,7,9,11 =3 =6, 12 =1, 9 =3,6,12 =3,4,5,7,8,112.设,求:; =a,b=a三、设,求:; ; C=1,8=1,2,3,4,5,6,8=P(B)= ,2,4,6,2,4,2,6,4,6,2,4,6四:一个班50个学生,在一次考试中有26人得5分,在第二次考试中有21人得5分,如果两次考试中没有得5分的有17人,那么两次考试中都得5分的有都少人?(提示:应用包含排斥原理)答:设A为第一次考试得5分的人,B为第二次考试得5分的人。A=26,B=21(AB)=17AB=50-17=33AB-A=7A B=21-7=14五,一个班25个学生,会打篮球的有12人,会打排球的有10人,两种球都不会打的有5人,那么两种球都会打的有多少人?(提示:应用包含排斥原理)答:设A为会打篮球的人数,B为会打排球

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论