An introduction to symbolic logic with an emphasis on constructing proofs of deductive arguments using a system of Natural Deduction. English statements and arguments will be translated into a formal language for analysis of logical properties. Conversely, formalized statements and arguments will be rendered in English. Formal logic reasoning will be integrated in composing argumentative essays.