2020-2021 Undergraduate Catalogue Archived Catalogue
|
PAR 218 - Symbolic Logic
A study of classical first-order logic, i.e., propositional logic and predicate logic. Both the semantic method (truth-table method and model universe method) and the syntactic method (proof-theoretical method and the method of natural deduction) are featured. Additonal topics may be selected from meta-theory (completeness, soundness, etc.), the semantic tableaux approach, or the axiomatic approach.
Credit Hours: 3
Prerequisite Courses: PAR 110
Additional Restrictions/Requirements: Prerequisite course or consent of instructor.
Course Repeatability: Course may not be repeated. Maximum Repeatable Hours: 3
Click here for the Fall 2024 Class Schedule.
|
