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

★ 形成性考核 作业 ★ 离散数学形成性考核作业 4 姓 名： 学 号： 得 分： 教师签名： 离散数学综合练习书面作业 要求： 学生提交作业有以下三种方式可供选择： 1. 可将此次作业用 A4 纸打印出来，手工书写答题，字迹工整，解答题要有 解答过程，完成作业后交给辅导教师批阅． 2. 在线提交 word 文档． 3. 自备答题纸张，将答题过程手工书写，并拍照上传． 一、公式翻译题 1．请将语句“小王去上课，小李也去上课．”翻译成命题公式 ． 设 P：小王去上课。 Q: 小李去上课 。 则 P^ Q 2 ．请将语句“他去旅游，仅当他有时间．”翻译成命题公式 ． 设 P：他去旅游 。 Q: 他有时间 。 则 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 ★ 形成性考核 作业 ★ 二、计算题 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},1,{ 1},2,{ 1},{1,2 },{ 2},1,{ 2},2,{ 2},{1,2 },1,1,1,2,1,{1,2 },2,1,2,2,2,{1,2 }} 2 ．设 A={1 ，2 ，3，4，5} ，R={ x，y|x A，y A 且 x+y 4} ，S={ x ，y|x A ， - 1 - 1 y A 且 x+y0} ，试求 R，S，R?S，S?R，R ，S ，r (S)，s(R) ． 解： R={1,1,1,2,1,3,2,1,2,2,3,1} S= Φ R?S=Φ S?R= Φ -1 R ={1,1,2,1,3,1,1,2,2,2,1,3} -1 S = Φ r (S)= {1,1,2,2,3,3,4,4,5,5} s(R)= {1,1,1,2,1,3,2,1,2,2,3,1} 3．设 A={1, 2, 3, 4, 5, 6, 7, 8} ，R 是 A 上的整除关系， B={2, 4, 6} ． (1) 写出关系 R 的表示式； (2) 画出关系