Boolean algebra
古典論理において、我々はしばしば論理式の取る真理値について議論する。この値は普通はブール代数の元から選ぶ。ブール代数の交わりと結びは論理結合子の formula_83 と formula_84 に同一視される。そして formula_85 の真理値は formula_86 と formula_87 の真理値のブール代数における交わりとする。このとき論理式が古典論理において妥当であることと、任意のブール代数とその上で値を取る真理値割り当てに対して論理式の真理値が formula_88 であることとが同値となる。