What+the+midterm+covers

What+the+midterm+covers - Prove the functional completeness...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
You should be prepared to: •Provide a recursive definition of a function on an inductively defined set. Examples: problem 4, hw 1; problem 3, hw3. •Prove by induction that a claim holds of an inductively defined set. Examples: problem 3c and 3d, hw 1; problem 3, hw 2. •Carry out proofs that utilize the following definitions from van Dalen: Definition 1.2.1-valuations Definition 1.2.4-the symbol |= Definition 1.4.2-the symbol |- Definition 1.5.2-consistent sets Definition 1.5.6-maximally consistent sets Examples: problem 2, hw 2; problem 3, hw 2; problem 4, hw 3; problem 6, hw 3.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 2
This is the end of the preview. Sign up to access the rest of the 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.

Page1 / 2

What+the+midterm+covers - Prove the functional completeness...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online