next up previous
Next: About this document

Math 2090.03 N (Winter 98-99) TEST 2B Part 2
Friday April 9th, 1999






All questions concern our predicate logic and material covered in Chapters 8 and 9 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, 4, 8, 9, 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. You are advised to do the questions worth the most marks first.


  1. Translate the following english sentences into quantified expressions in predicate logic. First construct suitable types, then a suitable 2-place predicate, and then write the quantified expressions. However, in this question you may ONLY use the universal quantifier, tex2html_wrap_inline42, in your translation. (3)
    1. Not all cars have four wheels. SOLUTION: Let C be type cars, and Fx mean x has 4 wheels.
    2. No mouse is heavier than any elephant. SOLUTION: Let M be type mouse, E be type elephant, Hxy mean x is heavier than y.
  2. Compute the following contextual substitution: (2)

    SOLUTION: tex2html_wrap_inline66

  3. Let our UD be tex2html_wrap_inline68. Let Ax mean x is positive, and Bx mean x is prime and Cx mean x is odd. Prove that the following are true, false, or may be true in a certain state, and may be false in another. In the latter case if possible give a state for which it is true and a state for which it is false, otherwise justify why all states either give true or give false. (6)
    1. tex2html_wrap_inline82 SOLUTION: Since all occurrences are bound this is either true or false. It is false since if x is 2, then the body is false.
    2. tex2html_wrap_inline86 SOLUTION: Since all occurrences are bound this is either true or false. It is true since if x is 4 then the body is true.
  4. Give a bullet proof that tex2html_wrap_inline90 (i.e. tex2html_wrap_inline92).(9)



next up previous
Next: About this document

Stephanie-van Willigenburg
Fri Apr 9 13:18:58 EDT 1999