Propositional Logic Definition