公式赋值

定义 给公式 $A$ 中全部命题变项各指定一个真值, 称为对 $A$ 的一个赋值或解释.