Comments on: Propositional Logic Learning Tool
http://projects.metafilter.com/4813/Propositional-Logic-Learning-Tool/
Comments on MetaFilter Projects post Propositional Logic Learning ToolTue, 15 Dec 2015 14:53:11 -0800Tue, 15 Dec 2015 14:53:11 -0800en-ushttp://blogs.law.harvard.edu/tech/rss60Propositional Logic Learning Tool
http://projects.metafilter.com/4813/Propositional-Logic-Learning-Tool
<a href="https://logicproblems.org">LogicProblems.org</a> 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 <a href="https://logicproblems.org/problems/tags/14/144/">deriving (A&B)→C from the assumption A→(B→C)</a>. 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!<br /><br />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.<br /><br />The application also includes a formula well formed-ness checker and visualizer, where you can evaluate and see complex expressions such as<br><a href="https://logicproblems.org/wff/validate/?exp=(A%5E(%24J!K))%40(B%23(P%E2%88%A8(-Q%26M)))"> (A&(-J∨K))↔(B→(P∨(-Q&M)))<br /></a><br /><br />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!post:projects.metafilter.com,2015:site.4813Sun, 13 Dec 2015 21:13:22 -0800localhumanBy: Foci for Analysis
http://projects.metafilter.com/4813/Propositional-Logic-Learning-Tool#11685
Nice! This would have been soo useful during my studies...comment:projects.metafilter.com,2015:site.4813-11685Tue, 15 Dec 2015 14:53:11 -0800Foci for AnalysisBy: Rangi
http://projects.metafilter.com/4813/Propositional-Logic-Learning-Tool#11686
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.)<br>
<br>
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.comment:projects.metafilter.com,2015:site.4813-11686Tue, 15 Dec 2015 21:36:15 -0800RangiBy: localhuman
http://projects.metafilter.com/4813/Propositional-Logic-Learning-Tool#11688
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'.<br>
<br>
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:<br>
<br>
<a href="https://github.com/localhuman/logic">https://github.com/localhuman/logic</a>comment:projects.metafilter.com,2015:site.4813-11688Wed, 16 Dec 2015 10:08:22 -0800localhumanBy: aniola
http://projects.metafilter.com/4813/Propositional-Logic-Learning-Tool#11697
This is neat! I'd be more likely to use it if it didn't require login, though I can see why it does. :Dcomment:projects.metafilter.com,2015:site.4813-11697Thu, 24 Dec 2015 17:44:46 -0800aniolaBy: localhuman
http://projects.metafilter.com/4813/Propositional-Logic-Learning-Tool#11700
No login required! Its only necessary if you want to get achievements and track the problems you've solved.comment:projects.metafilter.com,2015:site.4813-11700Sun, 27 Dec 2015 06:34:18 -0800localhuman