命題関数
命題関数を定義する為に次の 2 つの記号を用いる。
真な命題を表す記号 : ⋎ {\displaystyle \curlyvee }
偽な命題を表す記号 : ⋏ {\displaystyle \curlywedge }
L0 を ⋎ {\displaystyle \curlyvee } と ⋏ {\displaystyle \curlywedge } とだけから成る集合とし、D を固定された空でない 1 つの集合とする。そのとき、n 個の D の直積 ∏ i = 1 n D {\displaystyle \prod _{i=1}^{n}D} から L0 への写像を n 変数の命題関数という。命題関数をまた述語、性質、条件ともいう。n 変数の命題関数をまた n 項関係ともいう。集合 D を議論領域といい、D の各元を対象という。