propositional-logic Definition Model (Propositional Logic) A model of a propositional formula is a truth assignment that makes the formula true.