College of Arts and Science
(same as PHIL 2700). Introduces a symbolic language for representing the structure of arguments. Presents precise rules for demonstrating the validity of arguments. Covers natural deduction for sentence and predicate logic. Develops skill in constructing derivations. Prerequisites: grade of C or higher in MATH 1100 or MATH 1120.