Dec 16, 2018  
2014-2015 Undergraduate Catalog 
2014-2015 Undergraduate Catalog [Archived Catalog]

PHIL 1200 - Symbolic Logic

Hours: 4
An introduction to symbolic logic, including propositional logic and first-order predicate logic with multiple quantifiers and the identity function. Emphasis will be on construction derivations, with some focus on translating arguments from ordinary English in symbolic notation.
Prerequisites: A C- or better in ASC 0900 or qualification through Otterbein’s Mathematics Placement Exam.
Notes: Satisfies the general education mathematics requirement for some degree programs. Required for Philosophy majors.