P310 Valid Reasoning II
Professor: Craig DeLancey
Office: Marano 212A
Midterm. Modal logic. Using the three axioms of standard
propositional logic. The Deduction Theorem. Completeness of the
Read chapter 16 of A Concise Introduction to Logic. (If
quantifiers are only a dim memory for you, or -- heaven forbid,
something unseen! -- read chapters 12-16 of the book.)
We'll have some homework using mathematical induction due, also.
Read parts 2.1 and 2.2 of Mendelson.
I'll be in New Orleans. We'll have some task that you can do on your own.
I'll be in Virginia. We'll have some task that you can do on your own.