Symbolic Logic
This course is an introduction to the study of modern symbolic logic, emphasizing formalization and proof construction. The student is introduced to the terminology and chief concepts of modern logic.
Outcomes: Students will be able to symbolically analyze, evaluate, and demonstrate the various aspects of formal reasoning.
Outcomes: Students will be able to symbolically analyze, evaluate, and demonstrate the various aspects of formal reasoning.