Oct 15, 2018  
2017-2018 Undergraduate Catalog 
2017-2018 Undergraduate Catalog [ARCHIVED CATALOG]

PHIL 3580 - Intermediate Logic


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.