P310 Valid Reasoning II

Professor: Craig DeLancey

Office: Marano 212A

Email: craig.delancey@oswego.edu

**Current Assignments**

**13 May**
Final exam 8:00 -- 10:00 a.m. in class. Sorry!
Some things to study:
- Using the axioms of the quantified axiomatic logic.
- Using the Peano axioms.
- Proving some simple things in natural set theory.
- Cantor's theorem.
- Applying and explaining concepts like: complete,
consistent, provable.
- What functions are.
- The kinds of objects we create in set theory to be
in our model for the quantified logic. Interpretations
for things like functions or predicates in the model.

**Tentative assignments**