PAR 319 - Symbolic Logic

Detailed study of first-order logic (propositional logic and predicate logic), including relational predicate logic. Both semantic methods and syntactic methods are featured. At least one additional advanced topic will be addressed: identity and definite descriptions, meta-theory, the proof tree approach, the axiomatic approach, etc.

Credit Hours: 3

Prerequisite Courses: PAR 110 or consent of instructor.
Course Repeatability: Course may not be repeated.