Apr 25, 2024  
2019-2020 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Mission, Vision, Values and History of Rockhurst University
  Rockhurst University Learning Themes
  Rockhurst Community
  Admission
  The Liberal Core Curriculum
  Schools, Colleges & Departments
  Programs of Study
  Course Descriptions
  Academic Policies and Procedures
  Special Undergraduate Academic and Co-Curricular Programs
  Tuition and Fees
  Financial Aid Programs and Policies
  Campus Life
  Campus Facilities
  Rockhurst Traditions
  Endowments and Scholarships
HELP
2019-2020 Undergraduate Catalog [ARCHIVED CATALOG]

PL 2600 - Formal Logic

(3)
A study of deduction using symbolic methods, including truth tables, first-order propositional logic, and first-order predicate logic, with emphasis on using rules of inference, conditional and indirect methods, and quantification rules to construct proofs.