SLAPP 3.1 is now available!
SLAPP 3.1 adds to version 3.0 checking for map and tree diagrams of Symbolic Logic chapter 2. So in addition to edit capability for exercises in chapters 1-6, there is now checking for derivations in chapters 3 and 6, and checking for map and tree diagrams in chapter 2 (along with contextual help for derivations in the basic I- and E-rule systems of chapter 6). Edit and check functions are described in the relevant SLAPP help videos and contextual help popups.
There are numerous additional smaller changes and bug fixes. In addition to instructor functions from before, instructor login now enables automatic “choice checking” for chapter 2 exercises that use diagrams to justify a choice of some sort — where this check would usually be off for a student.
*Exercises from previous versions (either downloaded or created by you) will continue to open. However, as happened with derivation check, older vertical tree exercises will have check functions uniformly off. In order to access check features, you should download (chapter 2) exercises again.
Hi! I just stumbled across your app while looking for something that lets me practice my reasoning and (symbolic) logic skills in a bit-sized and relatively low-effort way (I was thinking, something like 10-minutes chess puzzles every day, but with logic). Your resources, at first glance, seem perfect for this! So, first of all: Thank you very much for the time, effort and thoughts you put into this (and for making it open source, too!! Wow!). Second, you mentioned that you’re looking forward to feedback, user comments, and so on – of course I’ll gladly contribute if I can. Are there any specific things or current issues where it would help you if I paid special attention? And do you gain more from conceptual or technical/UX things?
Thank you for your comment! I am interested in comments of all sorts. If there is something you think would make it better, I would like to hear about it. To date, I am the only real evaluator. But my perspective as the author is likely to be quite different from that of a user. So any comments are likely to be useful.
Hi again! At second glance, after jumping right to somewhere in the middle (and failing spectacularly), I must apologize for the naive and poor choice of words in my earlier comment – your resources are neither “bit-sized” nor “relatively low-effort”, at least for my current skill level. But this makes them all the more valuable to me! I’ll keep at it and will let you know if I find something that I think could be improved.
A tiny first thing: The “previous” and “next” buttons only work for assignments, right? It’s not a big deal, users will probably survive loading each exercise manually. But navigating exercises (especially the short ones at the beginning) would feel a bit smoother if we could also use the buttons for that.
PS: This is the third attempt I’m making at sending this comment, not sure if your website has swallowed the first two. I hope I didn’t accidentally spam this all over the place.
Correct. Currently the Previous and Next buttons work only for assignments. They could be set up so that when an exercise is open as such they would give the previous and next exercise (in a given disk folder).
Alternatively, within the existing structure, I could set up “all exercise” assignment files. This would have the same effect of letting you run through all the exercises in order. Done: 10/3/2025.
PS I did receive multiple copies of your message (but no worries). Certain comments come to me for “approval” before they are posted. So there can be a delay of a day or so before you see them. This is not to “censor” opinion! It’s only that I don’t want the blog to be a place for advertisements and such.