电大离散数学作业答案.doc

电大离散数学作业答案.doc

ID:51774290

大小:324.00 KB

页数:7页

时间:2020-03-15

电大离散数学作业答案.doc_第1页
电大离散数学作业答案.doc_第2页
电大离散数学作业答案.doc_第3页
电大离散数学作业答案.doc_第4页
电大离散数学作业答案.doc_第5页
资源描述:

《电大离散数学作业答案.doc》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、姓名:孙承昆学号:1212001257622得分:教师签名:离散数学作业7离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求本学期第17周末前完成并上交任课教师(不收电子稿)。并在07任务界面下方点击“

2、保存”和“交卷”按钮,以便教师评分。一、填空题1.命题公式的真值是 1或T .2.设P:他生病了,Q:他出差了.R:我同意他不参加学习.则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为(PQ)R.3.含有三个命题变项P,Q,R的命题公式PÙQ的主析取范式是(PQR)(PQR).4.设P(x):x是人,Q(x):x去上课,则命题“有人去上课.”可符号化为x(P(x)Q(x)).5.设个体域D={a,b},那么谓词公式消去量词后的等值式为(A(a)A(b))((B(a)B(b)).6.设个体域D={1,2,3},A(x)为“x大于3”,则谓词公式($x)A(x)的真值为0

3、(F).7.谓词命题公式("x)((A(x)ÙB(x))ÚC(y))中的自由变元为y.8.谓词命题公式("x)(P(x)®Q(x)ÚR(x,y))中的约束变元为x.三、公式翻译题1.请将语句“今天是天晴”翻译成命题公式.设P:今天是晴天。则P2.请将语句“小王去旅游,小李也去旅游.”翻译成命题公式.设P:小王去旅游。Q:小李去旅游。则PÙQ3.请将语句“如果明天天下雪,那么我就去滑雪”翻译成命题公式.设P:明天下雪。Q:我去滑雪。则PQ4.请将语句“他去旅游,仅当他有时间.”翻译成命题公式.设P:他去旅游。Q:他有时间。则PQ5.请将语句“有人不去工作”翻译成谓词公式.设A(x):x

4、是人B(x):去工作x(A(x)B(x))6.请将语句“所有人都努力工作.”翻译成谓词公式.设A(x):x是人B(x):努力工作x(A(x)B(x))四、判断说明题(判断下列各题,并说明理由.)1.命题公式ØPÙP的真值是1.答:错。因为P和P的否不能同时为真。2.命题公式ØPÙ(P®ØQ)ÚP为永真式.答:对。PÙ(PÚQ)ÚPPÚP13.谓词公式是永真式.答:对。它同P(QP)是等价形式P(QP)PÚ(QÚP)PÚQÚP1ÚQ4.下面的推理是否正确,请给予说明.(1)("x)A(x)®B(x)前提引入(2)A(y)®B(y)US(1)答:对。四.计算题1.求P®QÚR的析取范式,

5、合取范式、主析取范式,主合取范式.P®QÚRPÚQÚR(析取范式)(PÚQÚR)(合取范式)真值表:PQRP原式极小项及大项00011PPP00111PQR01011PQR01111PQR10000PÚQÚR10101PQR11001PQR11101PQR主析取范式(PPP)Ú(PQR)Ú(PQR)Ú(PQR)Ú(PQR)Ú(PQR)Ú(PQR)主合取范式(PÚQÚR)2.求命题公式(PÚQ)®(RÚQ)的主析取范式、主合取范式.真值表:PQR(PÚQ)RÚQ原式极小项及大项000101PPP001111PQR010011PQR011011PQR100000PÚQÚR101011PQ

6、R110011PQR111011PQR主析取范式(PPP)Ú(PQR)Ú(PQR)Ú(PQR)Ú(PQR)Ú(PQR)Ú(PQR)主合取范式(PÚQÚR)3.设谓词公式.(1)试写出量词的辖域;(2)指出该公式的自由变元和约束变元.答:(1)x的辖域为P(x,y)zQ(x,y,z)z的辖域为Q(x,y,z)y的辖域为R(y,z)(2)约束变元为P(x,y)zQ(x,y,z)中的xQ(x,y,z)中的zR(y,z)中的y自由变元为P(x,y)zQ(x,y,z)中的yR(y,z)中的z4.设个体域为D={a1,a2},求谓词公式"y$xP(x,y)消去量词后的等值式;答:谓词公式"y$x

7、P(x,y)消去量词后的等值式为(R(a,a)R(a,b))Ú(R(b,a)R(b,b))五、证明题1.试证明(P®(QÚØR))ÙØPÙQ与Ø(PÚØQ)等价.证明:(P®(QÚØR))ÙØPÙQØPÚ(QÚØR))ÙØPÙQØPÙQØ(PÚØQ)2.试证明($x)(P(x)ÙR(x))Þ($x)P(x)Ù($x)R(x).证明:(1)$x(A(x)ÙB(x))P(2)A(c)ÙB(c)ES(1)公式AÙBÞAAÙBÞB(3)A(c)T(2)(4)$x(

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。