English Explanatory Dictionary

valuation function

English dictionary entry

Meanings

noun
  1. 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.

Word forms

valuation function valuation functions
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on V Russian dictionary Dahl dictionary