Using "D" for "determinism holds" and "F" for "people have free will", SYMBOLIZE the following argument and TEST for validity:

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

Here's another one. SYMBOLIZE and TEST it for validity:

If Jean has a green card, then he can work legally in the US.
Jean can work legally in the US.
So Jean has a green card.

Here are two symbolized arguments. Using truth tables, test them for validity:

W É X                         J É K
X É Y                          ~J    
~Y                               K
W

Back to Logic home page

Copyright © 1999, Michael Eldridge