《电大 离散数学 形成性考核册 作业(四)答案680.docx》由会员分享，可在线阅读，更多相关《电大 离散数学 形成性考核册 作业(四)答案680.docx（9页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、离散数学学形成性性考核作作业（四四）数理逻辑辑部分本课程形形成性考考核作业业共4次次，内容容由中央央电大确确定、统一布布置。本本次形考考作业是是第四次次作业，大大家要认认真及时时地完成成数理逻逻辑部分分的形考考作业，字字迹工整整，抄写写题目，解解答题有有解答过过程。第6章 命题逻逻辑1判断断下列语语句是否否为命题题，若是是命题请请指出是是简单命命题还是是复合命命题（1）88能被44整除（2）今今天温度度高吗？（3）今今天天气气真好呀呀！（4）66是整数数当且仅仅当四边边形有44条边（5）地地球是行行星（6）小小王是学学生，但但小李是是工人（7）除除非下雨雨，否则则他不会会去（8）如如果他不不来
2、，那那么会议议就不能能准时开开始解：此题题即是教教材P.1844习题66（A）11（1）、（44）、（55）、（66）、（77）、（88）是命命题，（22）、（33）不是是命题。其中（11）、（55）是简简单命题题，（44）、（6）、（77）、（88）是复复合命题题。2翻译译成命题题公式（1）他他不会做做此事（2）他他去旅游游，仅当当他有时时间（3）小小王或小小李都会会解这个个题（4）如如果你来来，他就就不回去去（5）没没有人去去看展览览（6）他他们都是是学生（7）他他没有去去看电影影，而是是去观看看了体育育比赛（8）如如果下雨雨，那么么他就会会带伞解：此题题即是教教材P.1844习题66（A
3、）223设PP，Q的真值值为1；R，S的真值值为0，求求命题公公式(PQ)RSQ的真值值解：此题题即是教教材P.1844习题66（A）44（2）(PQQ)真值为为1，(PQ)R真值为为0，SSQ真值为为0，从而(PPQ)RSQ真值为为0。4试证证明如下下逻辑公公式（1） （AAB）（BC）C （AAC）（2） (PQ)(QR)RP（此题即即是教材材P.1185习习题6（AA）5（11）、（44）5试求求下列命命题公式式的主析析取范式式，主合合取范式式（1） （P(QR)）(PQ)（2） (PPQ)Q（此题即即是教材材P.1185习习题6（AA）6（22）、（44）6利用用求公式式的范式式的方法
4、法，判断断下列公公式是否否永真或或永假（2）（PQ）R（此题即即是教材材P.1186习习题6（AA）7（22）7试证证明CD，( CCD)H，H(AB)，(AB)(RS)蕴蕴含RS（此题即即是教材材P.1186习习题6（AA）8）8设PP：昨天天天晴，Q：前天天下雨，则则命题“昨天天晴，但前天下雨”可符号化为（ A ）APQBP QCPQDQ P（此题即即是教材材P.1186习习题6（BB）1）9可以以确定下下述推理理的步骤骤（ DD ）是是正确的的A（11） PQP （2） P T（11）IB（11） PP QP （22） QQT（1）IIC（11） PPQP （22） PPT（1）IID（
5、11） PPQP （22） PPT（1）II（此题即即是教材材P.1186习习题6（BB）3）第7章 谓词逻逻辑将下下列命题题翻译成成谓词公公式(1)有有人能做做这件事事，但不不是所有有人都能能做。(2)每每个人都都不会来来。(3)没没有人能能做这件件事。(4)所所有的整整数都是是实数。(5)有有些人能能去，但但不是所所有人都都能去。(6) 如果每每人都这这样做，那那么就没没有什么么事做不不了。(7)没没有什么么非做不不可的事事。(8)不不是每个个人都愿愿意做这这件事。(9)所所有人都都需要不不断地努努力学习习，争取取进步。 (100)如果果x大于y，那么么x+4大大于y+1。（此题即即是教材
6、材P.2208习习题7（AA）1）2设谓谓词A(x)：x是偶数数，B(x)：x是奇数数，x的取值值为1至至10之之间的正正整数，试求出出下列谓谓词公式式的值（1）（$x）A（x）（$x）B（x）（2）（$x）（A（x）B（x）（此题即即是教材材P.2208习习题7（AA）5（22）、（33）3试证证明下列列公式（1）（ x） A（x）（$x）A（x）（2）（$x）（P（x）R（x） （$x）P（x）（$x）R（x）（3）（$x）A（x）B（x）（A（x）B）（此题即即是教材材P.2209习习题7（AA）9（11）、（33）、（55）4试证证明（x）（P（x）R（x）,（x）R（x）可逻逻辑推出
7、出（$x）P（x）（此题即即是教材材P.2209习习题7（AA）100）5设AA（x）：x是人，BB（x）：x犯错误误，则命命题“没没有不犯犯错误的的人”可可符号化化为（DD ）A(xx)(A(x)B(x) BB(x)(A(x) BB(x)C($x)(A(x)B(x) D(x)(AA(x）B(x）（此题即即是教材材P.2209习习题7（BB）1）6可以以确定下下述谓词词推理的的步骤（ A ）是是正确的的A （1） （x）P（x） P （22） P（a） US（11） （33） （$x）P（x） ES（2）B （1） （$x）P（x） P （22） P（a） EES（1） （33） （x）P（x） US（2）C （1） P（a） PP （22） （x）P（x） US（1）D （1） P（a） PP （22） （a）P（a） US（1）（此题即即是教材材P.2209习习题7（BB）3）9