Mar 28, 2024  
Graduate Catalog 2013 - 2014 
    
Graduate Catalog 2013 - 2014 [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

PHL 514 - Predicate Logic

(2 credits)
Prerequisite(s): PHL 131 or equivalent course in sentential logic. Course covers standard topics in predicate logic, including symbolization and proofs with monadic and relational predicates, demonstrating invalidity in predicate logic, and the logic of identity.


Click here for the schedule of courses



Add to Portfolio (opens a new window)