|
|
Mar 29, 2024
|
|
2018-2019 Academic Catalog [ARCHIVED CATALOG]
|
PHL 4200 - Symbolic Logic II Credit Hour(s): 3 Standard notations, principles of inference, formal systems, and methods of proof. Focus on first-order predicate logic. Students who have taken PHL 3230 cannot take PHL 4200. Prerequisite(s): Undergraduate level PHL 3200 Minimum Grade of D Level: Undergraduate Schedule Type(s): Lecture
|
|
|