Dec 26, 2024  
2020-2021 Undergraduate Catalog 
    
2020-2021 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.