离散数学形成性考核作业.docVIP

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