我已经知道一种形式: ∣⋂i=1nAi∣=∣U∣−∣⋃i=1nAi‾∣\Big| \bigcap_{i=1}^n A_i \Big| = |U| - \Big| \bigcup_{i=1}^n \overline{A_i} \Big|⋂i=1nAi=∣U∣−⋃i=1nAi 似乎还有一种类似于 ∣⋃i=1nAi∣=∑k=1n(−1)i+1(∑1≤i1<⋯ik≤n∣Ai1∩⋯∩Aik∣)\Big| \bigcup_{i=1}^n A_i \Big| = \sum_{k=1}^n (-1)^{i+1} \Bigg( \sum_{1\le i_1 < \cdots i_k \le n} |A_{i_1} \cap \cdots \cap A_{i_k} |\Bigg)⋃i=1nAi=∑k=1n(−1)i+1(∑1≤i1<⋯ik≤n∣Ai1∩⋯∩Aik∣) 的形式, 有人知道吗?谢谢了。