Sentential logic: representation of English using truth-functional connectives, decision methods, natural deduction techniques. Introduction to predicate logic: representation of English using quantifiers. Course Information: Course is offered in both face-to-face and online formats. Check the class schedule for details on specific sections. Note that the online format involves heavy computer usage; computer and internet access are required. Class Schedule Information: To be properly registered, students must enroll in one Discussion and one Lecture. Natural World - No Lab course.