2018-2019 Academic Catalog 
    
    Mar 28, 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