真理関数
真理関数を定義する為に次の 2 つの記号を用いる。
真な命題を表す記号 : ⋎ {\displaystyle \curlyvee }
偽な命題を表す記号 : ⋏ {\displaystyle \curlywedge }
L を ⋎ {\displaystyle \curlyvee } と ⋏ {\displaystyle \curlywedge } とだけから成る集合とし、n を自然数とする。そのとき、n 個の L の直積 ∏ i = 1 n L {\displaystyle \prod _{i=1}^{n}L} から L への写像を n 変数の真理関数という。