Assignment #7
Translate the following statements into symbolic form. Use the letters in parentheses to
represent each component statement, letting each represent a positive statement.
1. It is not cold, but it is snowy. (f, g)
2. John will break the world’s record for hotdog eating contest if he eats at least 77 hotdogs. (p,
q)
3. Philosophy is necessary unless we solve all questions in the world. (c, d)
4. Either you turn off your phone and go to bed now, or you will miss your exam tomorrow.
(a,b,c)
5. It is not the case that if you study hard and work hard, you will be rich. (f, g, h)
6. Either my watch is fast or you’re really late, and my watch ain’t fast. (a,b)
For each of the following arguments, construct a truth table, and determine its validity.
1.
a→b
~a&b
∴b
2.
~(d & e)
e∨f
∴ ~d & f