跳至內容

賦值 (邏輯)

維基百科,自由的百科全書

邏輯模型論中,賦值(valuation)是從一階語言的變量的集合到這個語言的某個釋義的全集的映射[來源請求]

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