Course Number: 
102
Semesters Offered: 
Fall or Spring
Credits: 
4

A study of the formalization of complex arguments, in particular those involving quantification and relations, using principles of deduction in sentential and predicate logic. Course may also explore the semantics of the formal system.

Prerequisite: 
None.

Instructor(s):

* Indicates courses not offered every year.