

valuation
/ΛvΓ¦.ljuΛΛeΙͺ.ΚΙn/


noun
(propositional logic, model theory) An assignment of truth values to propositional variables, with a corresponding assignment of truth values to all propositional formulas with those variables (obtained through the recursive application of truth-valued functions corresponding to the logical connectives making up those formulas).

noun
(first-order logic, model theory) A structure, and the corresponding assignment of a truth value to each sentence in the language for that structure.


