基本的集合恒等式

集合运算的恒等式

例题

注意这个B，用了同一律（但是第一次写的时候还是没看出来）

集合运算的其他性质

大量例题

11题（黑笔写的是注释）

不难看出，同一律和零律的使用是非常频繁的

没思路，就拿同一律和零律往条件上靠

第20题

不一定是拿条件开刀，也可以只是在证明的过程中要用到条件，可以试试先从同一律，零律开始

首先，还是先从需要证明的入手

一般开头，都要任意x属于A

然后在证明的过程中用到题目给到的条件

23题

现在做这题，已经可以想到先从同一律和零律下手，但是仍然没有下一步的思路。也许看到题目中给出了对称差这个比较特殊的运算符时，可以考虑从这个特殊的运算上找同一律和零律

就像这题，如果找到了同一律和零律，十分简单

把A对称差B看作条件中的B

还是可以看出，这类题目，主要是要用到一些零律和同一律来为证明找到条件

做题时，可以试着直接从零律和同一律出发

26题

当且仅当相等于等值符号

当出现属于符号时，首先应该想到是任意x（x属于A）这种形式，然后用命题逻辑来做

这种题不妨自己独立做一遍，不然看着都会，到考试写的时候就懵逼（到时候，自己复习的效果也会大打折扣）

集合恒等式

对偶原理

例子

集合恒等式的证明方法

逻辑演算法——就是使用命题逻辑的格式和方法

集合演算法——使用集合相关的方法

吸收律

证明用了逻辑演算法（合取，析取，等值（双箭头））

证明用了集合演算法（并，交，=（相等））

对称差的性质

A对称差B=(A-B)并(B-A)

幂集的性质

集族的例题

看看（3）（4）

这题不难

离散数学·集合论【基本的集合恒等式】相关推荐

[离散数学]集合论基础P_3：集合的基本运算
[离散数学]集合论基础P_3:集合的基本运算前言 1. 并运算定义文氏图例子 2. 交运算定义文氏图例子 3. 补运算定义文氏图例子 4. 差运算定义文氏图例子 5. 对称差 ...
离散数学 | 集合论、二元关系、集合的基数
目录集合论集合的定义与表示集合与集合的关系真子集空集幂集集合的运算交并补集合恒等式二元关系有序对与笛卡尔积有序对笛卡尔积逆与合成集合的基数集合论集合的定义与表示集 ...
离散数学（4）——集合的概念和集合之间的关系、集合的运算、基本的集合恒等式
一.集合的表示列举法:列出集合中的全体元素,元素之间用逗号分开,然后用花括号括起来描述法:用谓词P(x)表示x具有性质P,用{x|P(x)}表示具有性质P的集合注意事项:集合中的元素是各不相同的 ...
【集合论】集合恒等式 ( 幂等律 | 交换律 | 结合律 | 分配率 | 德摩根律 | 吸收率 | 零律 | 同一律 | 排中律 | 矛盾律 | 余补律 | 双重否定定律 | 补交转换律 )
文章目录一. 集合恒等式二. 集合恒等式推广到集族一. 集合恒等式 1. 幂等律 : A∪A=AA \cup A = AA∪A=A , A∩A=AA \cap A = AA∩A=A 2. 交换律 ...
[离散数学]集合论基础P_5：可数集合与不可数集合
[离散数学]集合论基础P_5:可数集合与不可数集合前言 1. 引子 2. 自然数集的定义定义1(皮亚诺公理) 定义2(冯·诺依曼的自然数定义) 3. 如何比较集合的大小? 例子等势定义 4. ...
离散数学（一）——集合
离散数学(一)--集合一.集合 1.集合:集合是一些对象的主体,对象有时也可以看做元素或成员. 例如等式A={1,2,3,4},描述了由1.2.3.4四个元素组成的集合A. 集合与元 ...
基础集合论第一章集合与集合的运算
序,集合与集合的运算序第一章集合与集合的运算 1 概述 2 集合 2.1 集合和两个基本关系 2.2 外延公理公理一:外延公理外延公理的逆命题 2.3 空集公理公理二:空集公理 2.4 等 ...
离散数学 —— 集合论（集合的传递性与自反性、幂集、交集、并集、相对补集、绝对补集、对称差或异或、序偶或序对、集合的规模或基数）
3.1 集合与表示: 3.2 集合: 3.3 集合的计数与划分: 3.4 集合的基数(我没学): 集合的计数:例题
离散数学——集合论（一）
集合论(一) 基本概念集合上的运算运算的定义(部分简单内容跳过,逻辑公式可自己写出) 文氏图和范式 [Venn diagram](https://en.wikipedia.org/wiki/Ven ...

离散数学·集合论【基本的集合恒等式】