解释

设 $P_1,P_2,\dots$ 是出现在公式 $G$ 的所有命题变元，指定一组真值，则这组真值称为 $G$ 的一个解释常记为 $I$

如果 G 在解释 I 下是真的，则称 I 满足 G，此时 I 是 G 的 成真赋值；反之称为 I 弄假于 G，此时 I 是 G 的 成假赋值

若有 n 个命题变元，则应有 $2^n$ 个不同的解释

所有的解释合在一起，称为 真值表