(same as LINGST 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: sophomore standing and grade of C or better in MATH 1050, MATH 1100, MATH 1160, MATH 1400, or MATH 1500.