Previous | Next |
Dirk Schlimm
Give a semantic proof, using truth tables, for the validity of the inference of dilemma:
Read FOL, pages 44-46 (Section 3.5). Do the following problem:
Read FOL, pages 51-64 (Sections 3.7-3.8). Do the following problems:
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: