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.
Spring 2026
Instructors
Meeting Patterns
Classes Start:
January 12, 2026
Classes End:
April 28, 2026
Location:
00004 Winston Hall
Class Days:
M W
Class Start Time:
10:15am
Class End Time:
11:30am
Class Type:
Lecture
Credits:
3.00
Restrictions:
None