PHRE 1200 - Symbolic Logic

Hours: 3
An introduction to symbolic logic, including propositional logic and first-order predicate logic with multiple quantifiers and the identity function. Emphasizes construction derivations, with some focus on translating arguments from ordinary English in symbolic notation.
Prerequisites: MATH 0900 with a grade of C- or better, or qualification through Otterbein’s Mathematics Placement Exam.
Notes: Eligible to be taken as pass/fail.

About Otterbein

Apply to Otterbein

Campus Life

On Campus

Contact Otterbein

PHRE 1200 - Symbolic Logic