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
- Winter '09
- Logic, Mathematical logic, Metalogic, van Dalen