mula_76）意义。上述公式的真值为何要看"x"和"y"是否标记着相同的个体。首先，变数赋值μ可以扩展到语言内的所有项，使每个项都能映射至论域中的单一元素。下列的规则被用来得到赋值：再来，每个公式皆可赋予一个真值。用来得到赋值的递归性定义称为T-模式。若一个公式不包含自由变数，即为一个句子，则一开始的变数赋值不会影响其真值。换句话说，一个句子根据"M"及formula_96为真，若且唯若这个句子根据"M"及其他的变数赋值formula_97为真。还有第二种常见的做法可以定义真值，而且不需要