Introduction to Logic

Catalog description

<b><font color="7A0018">Begins Fall 2025</b></font><br> This course explores symbolic logic, focusing on translating natural language arguments into formal symbolic form and evaluating their validity. Topics include deductive reasoning, truth tables, formal proofs, quantifiers, and rules of inference. Alongside formal exercises, students will write essays analyzing arguments, explaining logical methods, and reflecting on broader applications, with an emphasis on clarity, structure, and revision.