Sep 11, 2025  
2022-2023 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home

  Programs A-Z
  Programs by Type

  Academic Policies & Regulations
  Undergraduate Curriculum
  Course Descriptions

  Colleges, Schools & Departments
  Global Field Study
  Honors Program
  Interdisciplinary Programs & Courses
  Three-Year Degrees
  University Seminars

  Accreditation
  Campus Map
  Disabilities Support Services
  Mission Statement
  Past Catalogs
  2022-23 Academic Calendar
  Veteran’s Benefits
HELP
2022-2023 Undergraduate Catalog [ARCHIVED CATALOG]

PL 255 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, and elementary theorems of consistency and completeness. It includes lecture, discussion, and extensive practice exercises in pertinent techniques.