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. Mid-term 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. Mid-term on propositional logic...
View Full Document
This document was uploaded on 02/08/2011.
- Winter '09