Nov 23, 2024  
2016-2018 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Mission, Vision, Values and History of Rockhurst University
  Rockhurst University Learning Themes
  The Liberal Core Curriculum
  Course Descriptions
  Programs of Study
  Academic Policies and Procedures
  Schools, Colleges & Departments
  Special Undergraduate Academic and Co-Curricular Programs
  Admission
  Tuition and Fees
  Financial Aid Programs and Policies
  College Life
  Rockhurst Community
  Campus Facilities
  Rockhurst Traditions
  Endowments and Scholarships
  2017-2018 Student Handbook
HELP
2016-2018 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.