3.2ex V Truth Tables  This page provides the means to construct a "full" truth table for any sentence of your choosing. But because there's no finishing this exercise, there's no resultsTrack for 3.2ex V!
    Try the optional auto entry below.
More Directions...  Printing...   Table definitions...

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 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".
  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.

Back to the top...

Hints: Start with easy truth tables to see how the program works. When question marks appear, carefully check your work.

Printing: After you've finished a table, you may print it. Make sure you've selected the top frame by clicking up near the table. Then select your browser's print button or "print" from the file menu.

Back to the top...