Propositional Logic Learning Tool
December 13, 2015 9:13 PM   Subscribe

Propositional Logic Learning Tool
LogicProblems.org is a propositional logic solving/learning application aimed towards students who wish to practice deriving conclusions from a set of assumptions in an interactive manner, for example deriving (A&B)→C from the assumption A→(B→C). It was created for my better half, with the aid of her invaluable input, who teaches Propositional Logic at a local community college. Her students have been using it for around 2 years now and tend to find it useful. In the past year I added an achievement system to try and make the subject a bit more engaging, so if you're the type of person who loves badges you may enjoy this application!

The current system uses a ruleset and notation that closely resemble a common notation in the subject domain, but it is still entirely possible that you have studied propositional logic and don't recognize. For that, there is a help section on each page.

The application also includes a formula well formed-ness checker and visualizer, where you can evaluate and see complex expressions such as
(A&(-J∨K))↔(B→(P∨(-Q&M)))


There's a few more features I'd like to add, such as support for Predicate logic, and a few things I'd like to clean up, but at this point I kind of need motivation to do any further work on the project! It would be nice to see if there's any interest in or use for the application beyond its current use, and of course I'm interested in any kind of feedback I can get to improve the student and general experience. Thanks for taking a look!
Role: programmer
posted by localhuman (5 comments total) 3 users marked this as a favorite

Nice! This would have been soo useful during my studies...
posted by Foci for Analysis at 2:53 PM on December 15, 2015


This looks very helpful. I would suggest using ~ instead of - for negation; that way you can type "->" to get → without it turning into "- →". (And ~ is more easily visible.)

By the way, I know rules like "& I" mean "and introduction," but what does the O stand for in "& O"? I was taught rules like "and elimination," so "& E" would make sense.
posted by Rangi at 9:36 PM on December 15, 2015


Thanks! I agree with the ~ notation for negation, but '-' is the notation used by my SO in her class, so her students are familiar with it. As far as 'O', it stands for 'Out', so for example &I is 'ampersand in' and &O is 'ampersand out'.

One thing I forgot to mention is that this is an open project for anyone interested. I haven't included the github URL on the site, but for anyone's interest it is located here:

https://github.com/localhuman/logic
posted by localhuman at 10:08 AM on December 16, 2015 [2 favorites]


This is neat! I'd be more likely to use it if it didn't require login, though I can see why it does. :D
posted by aniola at 5:44 PM on December 24, 2015


No login required! Its only necessary if you want to get achievements and track the problems you've solved.
posted by localhuman at 6:34 AM on December 27, 2015


« Older Experimental Brewing The Podcast...   |   Bad Meditation and Still Hungr... Newer »


You are not currently logged in. Log in or create a new account to post comments.