3.4ex IV Logical Equivalence  This page provides the means to construct truth table tests on pairs of SL sentences. Click on the start button, enter the first sentence, then enter the second.
More Directions...  Printing...   


Optional Auto Entry True False Normal (no auto entry)

Finish the truth table, make sure the entries are all upper case, then select one of the following and submit your answer:
Logically Equivalent
Not Logically Equivalent

 

Back to the top...

Directions:

  1. Select any problem.
  2. Fill in the table.
  3. Evaluate the table and click submit.

Back to the top...

Hints: Start with easy truth tables to see how the program works. When question marks appear, carefully check your work. If you still think you are correct, you may have found a bug. I've checked the program carefully on Internet Explorer 4 and Netscape Navigator 4.5 (both for windows), but there may be problems for other browser versions. (I'd appreciate any information on problems you may have: halpin@oakland.edu.) After you've gotten used to the program, use the optional auto entry feature: try to click twice in a text entry box to see what happens.

Printing: Click the "show and print" button.

 

Back to the top...