Mar 28, 2024  
2020-2021 Undergraduate Catalog 
    
2020-2021 Undergraduate Catalog [ARCHIVED CATALOG]

PHIL 3580 - Intermediate Logic


3 NS GE:MA

P: PHIL 1500 or MATH major or consent of instructor. Review of propositional logic. Logical notions of validity, consistency, and proof are extended to predicate logic. Emphasis on derivations in this system. Other topics may be included.