Propositional Logic Symbols And Translation