valuation function (English, noun)
expansion: valuation function (plural valuation functions)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: 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.
Forms:
form: valuation functions
tags: plural