valuation function
A function which assigns a truth value to every well-formed formula, which is…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.
Meaning
1 sensesA 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
plural: valuation functions| Singular | valuation function |
|---|---|
| Plural | valuation functions |
regular