P310 Valid Reasoning II
Professor: Craig DeLancey
Office: Marano 212A
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,
- 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.