Program Outcomes
Logic and Metalogic
1. Construct, symbolize, and evaluate proofs in syllogistic logic, truth-functional logic, first-order (quantificational) logic, set-theory and Peano arithmetic.
2. Understand the development of logic, including metalogical results.
Assessed 2015