MATH 215 - Formal Logic

3 Credit(s)

This course covers basic sentential logic, first- and higher- order predicate logic, and proof techniques for establishing validity and invalidity of arguments within these frameworks. Specific topics include truth tables, basic rules of inference, conditional and indirect proof, Venn diagrams, basic syllogisms, and quantification. Not recommended for first year students.

Course Frequency: AN

Grading Method: Student option.