Course Description
Introduction to methods of deductive inference. Concepts of inconsistency and entailment. Truth Functional Statement Logic and Quantifier and Predicate Logic. Representation of logically significant forms of statements and arguments. Construction of proofs using methods of natural deduction.
Fall 2025
Instructors
Meeting Patterns
Classes Start:
August 18, 2025
Classes End:
December 2, 2025
Location:
00135 Withers Hall
Class Days:
M W
Class Start Time:
1:30pm
Class End Time:
2:45pm
Class Type:
Lecture
Credits:
3.00
Restrictions:
None
