|
|
Definition of Valuation function
1. 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. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Valuation Function
Other Resources:
