2019年秋季离散数学综合考试(共25页).doc

精选优质文档-倾情为你奉上- 离散数学形成性考核作业4 姓名：严先贵 号学 06 分：得 教师签名： 离散数学综合练习书面作业 要求：学生提交作业有以下三种方式可供选择： 1. 可将此次作业用 A4 纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，完成作业后交给辅导教师批阅 2. 在线提交 word 文档 3. 自备答题纸张，将答题过程手工书写，并拍照上传 一、公式翻译题 1请将语句“小王去上课，小李也去上课”翻译成命题公式 小王去上课。设： P: ：小李去旅游。Q P Q则 2请将语句“他去旅游，仅当他有时间”翻译成命题公式 他去旅游 P:设： ：他有时间Q 则P Q “有人不去工作”翻译成谓词公式 3请将语句 x A（x）：是人设 ）：去工作B（x B(x