n 元真值函数

称 $F:\{0,1{\}}^n\to \{0,1\}$ 为 $n$ 元真值函数.

$n$ 个命题变项共有 $2^{2^n}$ 个 $n$ 元真值函数.

任何一个含有 $n$ 个命题变项的命题公式 $A$ 都对应唯一的一个 $n$ 元真值函数 $F$, $F$ 恰好为 $A$ 的真值表.