姓名:学号:得分:教师签名:离散数学作业7离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练****基本上是按照考试的题型(除单项选择题外)安排练****题目,目的是通过综合性书面作业,使同学自己检验学****成果,找出掌握的薄弱知识点,重点复****争取尽快掌握。本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练****作业。要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求本学期第17周末前完成并上交任课教师(不收电子稿)。并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分。一、 T或1 .:他生病了,Q::“如果他生病或出差了,我就同意他不参加学****符号化的结果为(P∨Q)→,Q,R的命题公式P?Q的主析取范式是. (x):x是人,Q(x):x去上课,则命题“有人去上课.”={a,b},={1,2,3},A(x)为“x大于3”,则谓词公式(?x)A(x)(?x)((A(x)?B(x))?C(y))(?x)(P(x)?Q(x)?R(x,y))、“今天是天晴”“小王去旅游,小李也去旅游.”“如果明天天下雪,那么我就去滑雪”“他去旅游,仅当他有时间.”“有人不去工作”“所有人都努力工作.”、判断说明题(判断下列
离散数学作业答案一 来自淘豆网www.taodocs.com转载请标明出处.