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.


1 credit


MAT-175 or MAT-275 must be completed, with a minimum grade of C, along with Sophomore Standing obtained prior to registering for this course.