## Mathematics 2090.03 Whiteley's Assignment 2:

Due Monday January 27 in the Assignment Box on NRoss 5th floor
by 12:00 noon.
From our text SYMLOG

- Page 96:
Exercise 3.1.6. [Use W and B for the two atomic sentences!]
- Page 107:
Exercise 3.3.3 (h)
Print the whole truth table and answer the question.

** also **
Give a separate informal argument in a few sentences (less than 8)
that demonstrates the same conclusion. You might start your argument:

Suppose the truth assignment \tau |= \Gamma. ... .
- Page 118:
Exercise 3.4.4 (b) (f)

and use the same truth table analysis decide the validity of the argument
written in
5.4.6 (b) (page 205).

[**HINT** Convince yourself that the last premise
might as well be replaced by ¬D.

The truth values for M and S do not change
the truth value of the conclusion - they simple split each
line of the smaller truth table into four copies.

You can then use a truth table
with only (!) 16 lines.]
- Exercise 3.4.8 (b)
(d).

* Back to 2090 Home Page *