Word.ws English Dictionary

valuation function

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.

Noun

valuation function (plural valuation functions)

  1. 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".

Forms of valuation function

pluralvaluation functions

Questions about valuation function

What does valuation function mean?
Valuation function means 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.
What part of speech is valuation function?
Valuation function is a noun.
What is the plural of valuation function?
The plural of valuation function is valuation functions.

Words near valuation function in the dictionary

  1. valuate
  2. valuated
  3. valuates
  4. valuating
  5. valuation
  6. valuation function
  7. valuation functions
  8. valuation ring
  9. valuation rings
  10. valuational
  11. valuationally

Source and license

Adapted from Wiktionary: valuation function (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “valuation function.” Word.ws, https://word.ws/valuation_function. Based on Wiktionary, CC BY-SA 4.0.