数え上げの基礎包除原理、3つの集合の場合

学習環境

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版)の第4章(数え上げの基礎)、章末問題の4.7の解答を求めてみる。

\begin{array}{l} card (A \cup B \cup C) \\ = card A + card B + card C \\ - card (A \cap B) - card (B \cap C) - card (C \cap A) \\ + card (A \cap B \cap C) \end{array}