賦值 (邏輯)

在邏輯和模型論中，賦值（valuation）是從一階語言的變量的集合到這個語言的某個釋義的全集的映射。

非形式的說，它是把一個特定的值指派（賦值）給一個數學陳述或等式中的變量。例如陳述 "x = y" 滿足於（就是說，為真於）在其中 "x" 被映射到同 "y" 相同的值的求值，而不滿足於（就是說，為假於）所有其他賦值。在這種簡單情況下這好像是平凡的，但它是使用數學符號公式化邏輯論證的過程的一部分。