离散数学——集合论

命题逻辑
谓词逻辑

给定集合A，以A的所有子集为元素组成的集合，称为集合A的$幂集$，记作$P(A)$，或$2^A.$
设集合A有n个元素，则A的幂集P(A)有$2^n$个元素.

设A，B是任意两个集合，所有属于A而不属于B的元素组成的集合，称为A与B的$差集$，或称为B的相对于A的补集，记作$A-B$.

设U是全集，则对任一集合A相对于U的补集U-A称为集合A的绝对补，简称A的$补集$，记作 ∼ A \Large \textcolor{red}{∼A}