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

Click to edit the document details