Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.

B.S. in Actuarial Science

Otterbein University Course Catalogs

2022-2023 Undergraduate Catalog 
    
    Mar 28, 2024  
2022-2023 Undergraduate Catalog [Archived Catalog]

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.