{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

What+the+midterm+covers

# What+the+midterm+covers - •Prove the functional...

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

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.

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

View Full Document
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

{[ snackBarMessage ]}

### Page1 / 2

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

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

View Full Document
Ask a homework question - tutors are online