アイバーソンの記法

アイバーソンの記法（）はケネス・アイバーソンにちなんで名づけられた記法。Pが真ならば1で偽ならば0である。
性質.
アイバーソンの記法の計算規則と論理、集合演算の間には直接的な対応関係がある。いま"A", "B"を集合とし、 formula_2を整数についての任意の性質とすると、以下が成り立つ。