Truth Table Tests on SL Sentences  This page provides the means to construct truth table tests on individual sentences of SL. You may enter values with a point, click, and a 't' or 'f,' or try the optional auto entry below.
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 True Logically False Logically Indeterminate

 

Back to the top...

Directions:

  1. Begin with the above button "Click here to start".
  2. Enter any sentence of SL at the prompt.
  3. Move to the sentence you entered and fill in starting with (lower case) t's and f's for the shortest sentences (atomic, then negations within all parentheses, then binary connectives within parentheses, etc.) Tab and Shft-Tab keys work well for moving around this and any form.
  4. If the lower case "t" or "f" changes to upper case, all is well.
  5. If a question mark appears, that means there is a mistake. Correct it or, if you tried to fill in a value too soon and out of order, come back and correct it later.
  6. If you use the optional auto entry, your work will not be corrected until you push "Check All Entries".
  7. If you click on the button marked "Fill in Atomic Truth Values", you'll save some time typing, but you won't learn as much about how atomic values are distributed.
  8. Finally, after the table is complete and all entries are upper case 'T's and 'F's, pick one of the three options, truth functionally true, false, or indeterminate, and 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: Use the "show and print all finished problems" button. It will let you print submitted, correct problems.

Back to the top...