Sep 20, 2026  
2025-2026 Undergraduate Bulletin 
    
Catalog Navigation
  Catalog Home
  Introductions
  Accreditations and Institutional Memberships
  Academic Calendar
  The University
  Admission
  Fees and Expenses
  Academic Regulations
  Academic Program Information
  Services for Students
  General Education Curriculum
  Programs by Department
  Programs A-Z
  The Honors College
  English Learning Academy
  Dean B. Ellis Library
  Course Descriptions
HELP
2025-2026 Undergraduate Bulletin [ARCHIVED CATALOG]

PHIL 2553 - Symbolic Logic

Sem. Hrs: 3

Fundamentals of sentential logic and predicate logic, including proof techniques, and translation into symbolic notation. Supplementary topics may include basic issues in metatheory: the concepts of validity and truth, formal systems of deduction and their soundness and completeness. Spring, odd.