Aug 20, 2019  
Undergraduate Catalog 2013-2014 
    
Undergraduate Catalog 2013-2014 [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.