在逻辑的语义中，真值语义是对Tarski主义语义的一种替代选择。它主要由 Ruth Barcan Marcus、H. Leblanc、M. Dunn 和 N. Belnap 所拥戴。它也叫做(量词的)代换释义或代换量化。Beth 的一个定理声称，在模型中一个域内所有成员除了那些被指派给常量的都可以被折消，假定了全称量词(存在量词)可以被读做公式的合取(析取)，其中常量替代在量词作用域内的变量的想法。比如，∀xPx 可以读做 (Pa & Pb & Pc &...) 这里的 a,b,c 是个体常量替代了在