Propositional Logic Language