3.3ex II Tables Judging Single Sentences: Logical Truth, Logical Falsity and Logical Indeterminacy in SL.
Directions...  Printing...  Table definitions... Flash: How to do these problems!


Optional Auto Entry True False Normal (no auto entry)
Finish the truth table, make sure the entries are all upper case, then select one of the following and submit your answer:
Logically True Logically False Logically Indeterminate

 

Back to the top...

Directions:

  1. Begin by clicking on any problem.
  2. 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.
  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 Entries".
  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.
  7. Finally, after the table is complete (at least so that you can tell what properties hold) pick one of the three options, truth functionally true, false, or indeterminate, and submit.

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