MAT-283 Introduction to Proof: Logic
Methods of mathematical proof will be introduced
using concepts from symbolic logic. Topics may
include: an introduction to logical implication,
quantifiers, contrapositive, and logical
equivalence.
Prerequisites: MAT-175 or MAT-275 with a minimum
grade of C and Sophomore standing or Instructor
permission.