2015-2016 Undergraduate Catalog 
    Feb 17, 2019  
2015-2016 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.