Definition:Model for Propositional Logic