Nov 21, 2024  
2012-2014 Undergraduate Catalog 
    
2012-2014 Undergraduate Catalog [ARCHIVED CATALOG]

PL 2600 - Formal Logic


(3)
A study of deduction using symbolic methods, including truth tables, first-order propositional logic, and first-order predicate logic, with emphasis on using rules of inference, conditional and indirect methods, and quantification rules to construct proofs.