|
|
May 15, 2024
|
|
2023-2024 Academic 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
|
|
|