Truth Tables  3.1ex I  directions, printing, hints, table definitions


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 remove the flashing cursor from the field (by clicking or TABing).
  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. As usual, keep the table in mind:
    P Q P&Q PvQ P>Q P=Q ~P
    T T T T T T F
    T F F T F F F
    F T F T T F T
    F F F F T T T
  7. Printing: After finishing the 10 problems, use the "show and print all finished problems" button. It will let you print correct problems.

    Back to the top...

Hints:

  1. You may move around this truth table form and any form on the Web 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.
  2. The Café checks your answer only when you move out of a form field (by TABing or by clicking outside the field). So, you may enter a 't' somewhere in the table, move on by TABing, and your answer will be checked.