valuation functions
valuation functions is the plural of valuation function.
Meaning of valuation function
Noun
valuation function (plural valuation functions)
- 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".
Questions about valuation functions
- What is valuation functions the plural of?
- Valuation functions is the plural of valuation function.
Words near valuation functions in the dictionary
Source and license
Adapted from Wiktionary: valuation functions (page history and authors); 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 functions.” Word.ws, https://word.ws/valuation_functions. Based on Wiktionary, CC BY-SA 4.0.
