Mar 09, 2025  
Undergraduate Catalog 2015-2016 
    
Undergraduate Catalog 2015-2016 [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.