集合对偶律：分别用图文证明

集合几个法则：

求证：

注：右上角C表示此集合的补集/余集

语言描述：A 并 B的补集 = A的补集交 B的补集

　　　　　A交B的补集 = A的补集并 B的补集

文字证明：（思路：证明两个集合相等，可证两集合互为子集）

用图证明：

首先,整个 I 区域被 A、B 分割为互不重叠的 4 部分：灰、红、蓝、绿；

而对偶律,也就是下面这个公式,可以这样证明：

式1：左=（红绿并蓝绿）的补 =灰

　　右= 红绿的补交蓝绿的补 = 灰蓝交灰红=灰

所以……

==============================================================

式2：左=（红绿交蓝绿）的补 =灰红蓝

右=红绿的补并蓝绿的补 =灰蓝并灰红=灰红蓝

所以……

转载于:https://www.cnblogs.com/chenxi188/p/10880051.html

集合对偶律：分别用图文证明相关推荐

离散数学中集合、关系、群的证明方法（英文证明附例题）
文章目录集合子集关系句式两个集合相等句式例子划分(partition) 句式例子关系关系R的自反性(reflexive)反自反(irreflexive) 句式关系R的对称性(sy ...
对偶律（德摩根公式）
事件并的对立等于对立的交: A∪B‾=A‾∩B‾\overline{A\cup B}=\overline{A}\cap\overline{B}A∪B=A∩B 事件交的对立等于对立的并: A∩B‾=A‾ ...
二元关系的复合、集合幂集的包含关系是格的证明、逻辑相等与划分
离散证明题## 标题 5.令R为从A到B的一个二元关系,S为从B到C的二元关系,若D是A的一个子集,证明:(S◦R)D=S(R(D)) If an element z∈C is in(S○R)(D), ...
布尔定理及证明（完整版）
这篇文章的目的是以布尔代数公理证明定理. 对偶原理:0with1,+ with · 互换以后,公理(定理)任然成立. 布尔代数的公理如下单变量的布尔代数定理如下单变量的布尔代数定理很容易用真值表证 ...
数学分析：集合的基本运算
文章目录数学分析:集合的基本运算集合的并集合的交集合的差集合的补集合的运算律参考文献数学分析:集合的基本运算集合有并.交.差.补四种基本运算. 集合的并定义 1(集合的并):设 ...
《离散数学》：集合、关系和函数
〇.前言这章将会对集合.以及集合之上的关系.以及两个集合之间的映射情况做一个细致的讨论.集合作为数学和其他领域中的基础概念,具有广泛的应用和重要的地位.它为数学建立了基本的体系和推理方法,为各个领域 ...
集合 —— 集合与集合运算
[概述] 集合,是集合论中主要研究对象,是指具有某种特定性质的具体的或抽象的对象汇总而成的集体,其中,构成集合的这些对象则称为该集合的元素. 集合中元素的数目称为集合的基数,集合 A 的基数记作:ca ...
用零知识证明解决投票安全
链客,专为开发者而生,有问必答! 此文章来自区块链技术社区,未经允许拒绝转载. 背景我们经常会遇到需要给别人投票的情况,比如有些公司会组织员工给领导做反向打分,但是往往员工都不敢"真心实意 ...
【代数结构】群 ( 群的定义 | 群的基本性质 | 群的证明方法 | 交换群 )
文章目录群的定义群的分类群的证明方法交换群的证明方法数集回顾群的证明群的定义群的定义 : 一个非空集合 GGG 中 , 如果定义了一个 "乘法" 运算 ...

集合对偶律：分别用图文证明

集合对偶律：分别用图文证明相关推荐

最新文章

热门文章