Valuation-function Definition

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.

Wiktionary

Other Word Forms of Valuation-function

Noun

Singular:
valuation-function
Plural:
valuation functions

Find Similar Words

Find similar words to valuation-function using the buttons below.

Words Starting With

Words Ending With

Unscrambles

valuation-function

Word Length

Words Near Valuation-function in the Dictionary