离散数学综合练习书面作业形考任务4 各章综合练习.docx

离散数学综合练习书面作业形考任务4 各章综合练习.docx

《离散数学综合练习书面作业形考任务4 各章综合练习.docx》由会员分享，可在线阅读，更多相关《离散数学综合练习书面作业形考任务4 各章综合练习.docx（3页珍藏版）》请在冰点文库上搜索。

离散数学综合练习书面作业形考任务4各章综合练习

姓名：

学号：

得分：

教师签名：

离散数学形成性考核作业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．设A={{1},{2},1,2}，B={1,2,{1,2}}，试计算

（1）（AB）；

（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={|xA，yA且x+y4}，S={|xA，yA且x+y<0}，试求R，S，RS，SR，R-1，S-1，r（S），s（R）．