This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Prove the functional completeness or incompleteness of a set of connectives. Example: problem 6, hw 2. Provide natural deduction derivations, with the rules from 1.4 and 1.6. Example : problem 1, hw 3. Explain how the various lemmas used in the completeness proof fit together. Midterm on propositional logic What to study: All the lemmas/theorems from van Dalen that were proved in lecture All the homework problems Understand how the proofs work. In a proof of X, certain things Y are done. Understand why it suffices to do Y. Midterm on propositional logic...
View
Full
Document
This document was uploaded on 02/08/2011.
 Winter '09

Click to edit the document details