Exercise 7

Constructing Truth Tables: Negation

Since negation, unlike the other logical operators, requires only one variable, we can construct a truth table with only two lines. Please symbolize "It is not the case that logic is stupid" and construct a truth table to show the truth values of this proposition:








2. Now construct a four-line truth table to show the truth values of the following argument:

If determinism holds, people do not have free will.
People have free will.
Therefore determinism does not hold.

NOTE: USE D to symbolize "determinism holds" and F to symbolize "people have free will"















Back to Logic home page

Copyright © 1999, Michael Eldridge