Math 2090.03 N (Winter 98-99) TEST 2A Part 1
Friday March 19th, 1999
SOLUTIONS

SURNAME (BLOCK CAPITALS):

INITIALS:

STUDENT NUMBER:

SIGNATURE: All questions concern our propositional logic tex2html_wrap_inline27 and material covered in Chapter 4 of the course text. The marks for each question are shown in brackets. You may NOT use inference rule/Metatheorem MON-AMON or inference rule/Metatheorem MODUS-PONENS anywhere on the test.

All axioms, allowed Metatheorems from Chapters 3 and 4, and lower numbered theorems may be used in the proof of a higher numbered theorem.

The 4th page has been left blank for working, please indicate if there is part of your test there that needs marking. To ensure your paper is graded correctly please underline which part of a sentence a theorem is being applied to.


  1. Give a bullet proof, using Proof Method 4.1, that tex2html_wrap_inline29 (tex2html_wrap_inline31). (10)

    SOLUTION

    tex2html_wrap_inline33

  2. Give a bullet proof, using the Deduction Theorem, that tex2html_wrap_inline35 (tex2html_wrap_inline37). You may wish to turn the consequent into a known theorem. (10)

    SOLUTION

    Assume p. tex2html_wrap_inline39

  3. Give a bullet proof, using Proof by Cases, that tex2html_wrap_inline41 (tex2html_wrap_inline43). In each case you may wish to transform the whole sentence into a known theorem. (10)

    SOLUTION

    tex2html_wrap_inline45

    tex2html_wrap_inline47





Stephanie-van Willigenburg
Wed Mar 17 14:44:46 EST 1999