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.
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
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)
Back to 2090 Home Page