|
Oct 11, 2024
|
|
|
|
PHL 514 - Predicate Logic[2 credit(s)] Prerequisite: 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)
|
|