Propositional Logic: Translation, Part 1 (Atomic and Negated Wffs)