课程《离散数学》_题库列表第19页_查题网

离散数学

截止11-06，该科目累计收录道题目。

返回课程列表

已知X,Y,Z为三个非空集合。R为从X到Y的二元关系，S为从Y到Z的二元关系，P为从Z到W的二元关系。求证：(RoS)oP=Ro(SoP)。
- 查看答案
- 2023-10-24 04:52:12
证明：如果今天是星期三，那么我有一次离散数学或数字逻辑测验；如果离散数学老师有事，那么没有离散数学测验；今天是星期三并且离散数学老师有事，所以我有一次数字逻辑测验。
- 查看答案
- 2023-10-24 04:52:12
每个喜欢步行的人都不喜欢骑自行车，每个人喜欢骑自行车或者喜欢乘汽车，有的人不喜欢乘汽车。因为，有的人不喜欢步行。设n元谓词W(x):步行，B(x):x骑自行车，C(x):x乘汽车。列出所有前提和结论的谓词公式，并证明结论。
- 查看答案
- 2023-10-24 04:52:12
设是一个含幺半群，对"x∈G，有x*x=e，证明是阿贝尔群。
- 查看答案
- 2023-10-24 04:52:12
证明：在群中，除幺元e外，不可能有任何别的等幂元。
- 查看答案
- 2023-10-24 04:52:12
设A、B是两个集合，证明：A∪(A∩B)=A。
- 查看答案
- 2023-10-24 04:52:12
设A、B、C、D是三个集合，证明：(A∩B)×(C∩D)=(A×C)∩(B×D)。
- 查看答案
- 2023-10-24 04:52:12
证明:整数集合Z上的模n同余关系R={|x,y∈Z∧x-y能被n整除}是自反的，对称的和传递的。
- 查看答案
- 2023-10-24 04:52:12
有些病人相信所有的医生。病人都不相信骗子。设n元谓词P(x):x是病人，C(x):x是骗子，D(x):x是医生，B(x,y):x相信y。列出所有前提和结论的谓词公式，证明所有的医生都不是骗子。
- 查看答案
- 2023-10-24 04:52:12
形式化翻译并论证：如果小黄学习成绩好，那么小黄上课认真听课了或者他下课认真学习了。小黄下课没有认真学习。所以如果小黄上课没有认真听课，则他学习成绩不好。
- 查看答案
- 2023-10-24 04:52:12