P310 Valid Reasoning II

Professor: Craig DeLancey

Office: Marano 212A

Email: craig.delancey@oswego.edu

**Current Assignments**

**27 March**
Midterm. Modal logic. Using the three axioms of standard
propositional logic. The Deduction Theorem. Completeness of the
Propositional Logic.

**30 March**
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.

**1 April**
Read parts 2.1 and 2.2 of Mendelson.

**Tentative assignments**

**3 April**
I'll be in New Orleans. We'll have some task that you can do on your own.

**13 April**
I'll be in Virginia. We'll have some task that you can do on your own.

**15 April**
Quest.