n (context|logic|propositional logic|(w|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).