Along with many bug fixes and smaller improvements, SLAPP 3.2.1 completes checking for all the tables and trees from chapter 4 of Symbolic Logic. 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 tables and trees 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 many exercises, including ones with check and help for chapter 4, are modified. In order to access improved versions, download exercises and/or assignments again.