valuation function

noun

A function which assigns a truth value to every well-formed formula, which is identical to the model's interpretation function when applied to atomic propositions, and which otherwise assigns a truth value recursively depending on the formula's top logical connective and the truth values of the subformulae surrounding that logical connective.

“Say that a model's interpretation assigns true to A and false to B. Then the valuation function assigns false to "not A", true to "not B", false to "A implies B", false to "A and B", and true to "A or B".”

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounvaluation function (plural valuation functions)

plural valuation functions

  1. human sciencesA function which assigns a truth value to every well-formed formula, which is identical to the model's interpretation function when applied to atomic propositions, and which otherwise assigns a truth value recursively depending on the formula's top logical connective and the truth values of the subformulae surrounding that logical connective.

    Say that a model's interpretation assigns true to A and false to B. Then the valuation function assigns false to "not A", true to "not B", false to "A implies B", false to "A and B", and true to "A or B".

Cite this entry
APA

valuation function. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/valuation%20function

MLA

“valuation function.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/valuation%20function. Accessed November 3, 2026.

Chicago

WatkinsX Dictionary, s.v. “valuation function,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/valuation%20function.

Source: valuation function on Wiktionary, CC BY-SA 4.0.