May 05, 2024  
2023-2024 Undergraduate Catalog 
    
2023-2024 Undergraduate Catalog [ARCHIVED CATALOG]

MATH 4321 - Predicate Logic

Credit Hours: 3 Lecture: 3 Lab: 0

An introduction to predicate logic; elements of formal logic systems; set theory and propositional calculus, completeness theorems and the nature of proofs.