valuation function
Word Rarity
Rare
Frequency: Zipf frequency 3.71 in modern English
25
Scrabble Score
17
Letters
6
Syllables
10
Unique Chars
Meaning
noun
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.