MA.912.LT.4.1: Translate propositional statements into logical arguments using propositional variables and logical connectives.