离散数学证明A-B=A∩~B

Question

离散数学证明A-B=A∩~B谢谢~

Answer 1

A=(A∩B)∪(A∩B补)，A-B=(A∩B∩B补)∪(A∩B补∩B补)=∅∪(A∩B补)=A∩B补。

离散数学也是计算机专业的专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。

通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。

从计算机软件到计算机硬件，从人工智能到认知系统，无不与离散数学密切相关。由于数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系。

因此，无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都面临着如何对离散结构建立相应的数学模型；又如何将已用连续数量关系建立起来的数学模型离散化，从而可由计算机加以处理。

Answer 2

A=(A∩B)∪(A∩B补)
A-B=(A∩B∩B补)∪(A∩B补∩B补)
=∅∪(A∩B补)
=A∪B补

追答

A=(A∩B)∪(A∩B补)
A-B=(A∩B∩B补)∪(A∩B补∩B补)
=∅∪(A∩B补)
=A∩B补

前面一条，笔误，手机发的不能改。
后面一条是。

Answer 3

画文氏图可以解决