真理関数
1 変数の真理関数 ¬ と 2 変数の真理関数 ∨、∧ とはそれぞれ以下の等式で定義される。ただし、A 、B は L の元の変数である。
¬A 、A∨B 、A∧B をそれぞれ、A の否定、A と B との論理和、A と B との論理積という。n 変数の真理関数は全部で 2 2 n {\displaystyle 2^{2^{n}}} 個ある。
真理関数(しんりかんすう、英:Truth function) とは、数理論理学において、真理値の各変数の変域と終集合とがそれぞれ『「真な命題」と「偽な命題」のみから成る集合』に等しいような写像である。真理関数は命題関数でもある。