Nov 24, 2024  
2021-2022 Undergraduate Catalog 
    
2021-2022 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.