3.2 ex III: Full Tables You may want to enter values more quickly: try the optional auto entry below. Also, note that you may reduce "busy" work by clicking the "fill in atomic sentences" button and that there is a guide to the order of entry.
More Directions...  Printing...  Table definitions...


(Press to keep track of work.)
 (Only displays what has been checked.)
Optional Auto Entry Click on the "True" or "False" button to temporarily enter data with a click; your work won't be checked until you click "Check All". You can push "Check All" at any time as you do your work; no need to wait until you're finished.
True False Normal (no auto entry)

Back to the top...

Directions:

  1. Begin by clicking the "problem one" button.
  2. Move to the generated table (top frame) 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. Hint: if you get confused about what part of the table to fill in next, move your pointer over the sentence in the table: it will highlight in red to indicate row dependence.
  3. If the lower case "t" or "f" changes to upper case, all is well.
  4. 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.
  5. If you use the optional auto entry, your work will not be corrected until you push "Check All".
  6. 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.

Back to the top...

 

 

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

Back to the top...