Jun 30, 2025  
Undergraduate Catalog 2012-2013 
    
Undergraduate Catalog 2012-2013 [ARCHIVED CATALOG]

PHILO 17100 - Introduction to Symbolic Logic


Sentential logic, including the truth-functional connectives, truth tables, symbolizations, consistency trees. Predicate logic, including quantificational symbolizations and consistency trees for quantifiers.
3 hrs 3 cr.