Definition:Propositional Variable