离散数学形成性考核作业(共7页).doc

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