Dec 22, 2024  
2016-17 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home

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

  Course Descriptions

  2016-17 Academic Calendar
  Academic Policies & Regulations
  Course Registration
  Financial Aid Policies
  Undergraduate Curriculum

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

  Accreditation
  Campus Map
  Disabilities Support Services
  Mission Statement
  Past Catalogs
  Student Handbook
HELP
2016-17 Undergraduate 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 extensive practice exercises in pertinent techniques.