May 28, 2024  
2023-2024 Graduate Catalog 
    
2023-2024 Graduate Catalog

PL 160 Symbolic Logic


This course studies symbolic logic from sentential logic to the logic of quantifiers and relations. It introduces truth tables, truth trees, natural deduction, elementary theorems of consistency and completeness. It includes lecture, discussion and ext