SLAPP 3.2 adds checking for truth tables as from chapter 4 of Symbolic Logic. Up to this point, check updates have been released for whole chapters. However, it is likely to be some time before checking is complete for other exercises in chapter 4 (which will require parsing and manipulating the metalanguage). I find checking truth tables particularly tedious. So this might be of some use. . . .

In addition to edit capability for exercises in chapters 1 – 8, SLAPP now includes,

• Checking for map and tree diagrams in chapter 2.
• Checking for derivations in chapter 3.
• Checking for truth tables in chapter 4.
• Checking for derivations in chapter 6 along with “contextual help” for derivations in the basic I- and E- rule systems of chapter 6.

Exercises from previous versions (either downloaded or created by you) will continue to open. However, older truth table exercises will have check functions uniformly off. In order to access check feature, you should download (truth table) exercises again.