賦值_(邏輯)

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