valuation functions

A form of valuation function — 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.

Meanings

noun
  1. pluralplural of valuation function
Cite this entry
APA

valuation functions. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/valuation%20functions

MLA

“valuation functions.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/valuation%20functions. Accessed November 3, 2026.

Chicago

WatkinsX Dictionary, s.v. “valuation functions,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/valuation%20functions.

Source: valuation functions on Wiktionary, CC BY-SA 4.0.