This course is an introduction to formal systems of symbolizing statements, analyzing statements, and testing arguments. Main topics covered in the course include the difference between deductive and inductive arguments; how to translate English statements into propositional logic and predicate logic; how to test statements for consistency and equivalence; and how to test arguments for validity.