Back to the top...

Directions:

1. Begin with the above button "Click here to start".
2. Type the first sentence at the first prompt and press the Enter key. Then enter the second (if there is a second) at the second prompt, and so on.
3. When you've finished entering sentences either cancel at the next prompt or enter a "blank" sentence.
4. Wait as the table is constructed.
5. Move to the sentences 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.
6. If the lower case "t" or "f" changes to upper case, all is well.
7. 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.
8. If you use the optional auto entry, your work will not be corrected until you push "Check All Entries".
9. If you click on the button marked "Fill in...", you'll save some time typing, but you won't learn as much about how atomic values are distributed.
10. Finally, after the table is complete and all entries are upper case 'T's and 'F's, pick one of the options, consistent or inconsisttent, 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. 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: As usual, the "print all" button prints only those finished (submitted, correct) problems.

Back to the top...