アイバーソンの記法
# { m ∣ P ( k , m ) } = ∑ m [ P ( k , m ) ] . {\displaystyle {\begin{aligned}[][P\land Q]&=[P][Q],\qquad [\neg P]=1-[P].\\[1em][P\lor Q]&=[P]+[Q]-[P][Q].\\[1em][k\in A]+[k\in B]&=[k\in A\cup B]+[k\in A\cap B].\\[1em][x\in A\cap B]&=[x\in A][x\in B].\\[1em][\forall m\ .\ P(k,m)]&=\prod _{m}[P(k,m)].\\[1em][\exists m\ .\ P(k,m)]&=\min {\Big (}1,\sum _{m}[P(k,m)]{\Big )}=1-\prod _{m}\left(1-[P(k,m)]\right).\\[1em]\#\{m\mid P(k,m)\}&=\sum _{m}[P(k,m)].\end{aligned}}}
アイバーソンの記法(英語: Iverson bracket)はケネス・アイバーソンにちなんで名づけられた記法。Pが真ならば1で偽ならば0である。
[ P ] = { 1 if P is true; 0 otherwise. {\displaystyle [P]={\begin{cases}1&{\mbox{if }}P{\mbox{ is true;}}\\0&{\mbox{otherwise.}}\end{cases}}}