This page provides the means to construct a "shortened" truth table. That is, it helps you construct a table for one specific assignment of truth values to a sentence's atomic components.

Directions:

1. Begin with a button for problem one.
2. Values for atomic values will be randomly generated under these sentences on the left of the table; rewrite these values under the appropriate atomic components on the right.
3. Move to the sentence you entered and fill in starting with the shortest sentences (atomic, then negated atomic, then within parentheses, etc.)
4. You may enter lower case 't's and 'f's into a field of the table: if your answer is correct, the lower case will turn to upper when you move out of the field.
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.

Hints: You may move around this and any form by using the "TAB" and "SHIFT-TAB" keys. If the truth value ('t' or 'f') you entered at a position is correct, it will change to upper case ('T' or 'F') as soon as you move on.

Printing: Use the "show and print all finished problems" button. It will let you print correct problems.

Back to the top...