Apr 19, 2024  
2020-21 Graduate Catalog 
    
Catalog Navigation
  Catalog Home

  Programs A-Z
  Programs by College/School
  Programs by Type

  Cognate Courses
  Course Descriptions

  2019-20 Academic Calendar
  Academic Policies & Regulations
  Course Registration

  Accreditation
  Admissions
  Awards & Scholarships
  Colleges, Schools & Departments
  Campus Map
  Dean’s List
  Disabilities Support Services
  Financial Aid Policies
  Mission Statement
  Past Catalogs
  Student Handbook
  Academic Programs (Option 1)
HELP
2020-21 Graduate Catalog [ARCHIVED 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