Valuation-function Definition
noun
(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.
Wiktionary
Other Word Forms of Valuation-function
Noun
Singular:
valuation-function
Plural:
valuation functions
Find Similar Words
Find similar words to valuation-function using the buttons below.