Yuzuki Arai述語 \(P\) は可能世界の集合 \(W\) から個体領域の冪集合 \(P(D)\) への写像、述語 \(P\) の真理値ポテンシャル \(\phi_P\) は個体領域の部分集合 \(D_i\) から真偽値の集合への写像であるから、\(\phi_P[P(w_i)] ⊂ \mathbb{B}\) である。
述語 \(P\) は可能世界の集合 \(W\) から個体領域の冪集合 \(P(D)\) への写像、述語 \(P\) の真理値ポテンシャル \(\phi_P\) は個体領域の部分集合 \(D_i\) から真偽値の集合への写像であるから、\(\phi_P[P(w_i)] ⊂ \mathbb{B}\) である。