Definition:Sign of Propositional Logic