Hello, you have come here looking for the meaning of the word
valuation function. In DICTIOUS you will not only get to know all the dictionary meanings for the word
valuation function, but we will also tell you about its etymology, its characteristics and you will know how to say
valuation function in singular and plural. Everything you need to know about the word
valuation function you have here. The definition of the word
valuation function will help you to be more precise and correct when speaking or writing your texts. Knowing the definition of
valuation function, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Noun
valuation function (plural valuation functions)
- (logic) 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 interpration 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".