PHIL 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.

About Otterbein

Apply to Otterbein

Campus Life

On Campus

Contact Otterbein

PHIL 1200 - Symbolic Logic