Previous | Next |

*Dirk Schlimm*

**Truth tables**(2 points)Give a semantic proof, using truth tables, for the validity of the inference of

*dilemma*:- Premises: P v Q, P -> R, Q -> S.
- Conclusion: R v S.

**Logical equivalence**(2 points)Read FOL, pages 44-46 (Section 3.5). Do the following problem:

- Page 46, Problem 9.

**Satisfiability and logical truth**(4 points)Read FOL, pages 51-64 (Sections 3.7-3.8). Do the following problems:

- Page 55, Problem 18.
- Page 65, Problem 29.

(For an example of how the proof should look like, consult the proof of "Small(c)" on page 61.)

**Alternative notation**(2 points)Read FOL, pages 88-90 (Section 3.12). The "Polish notation" should remind you of the axiomatization of sentential logic in Handout #7!

Do the following problem:- Page 90, Problem 63.