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

2023-2024 Undergraduate Catalog 
    
    Jul 16, 2024  
2023-2024 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.