1 posts tagged with propositional.
Displaying 1 through 1 of 1. 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! [more inside]
posted by localhuman on Dec 13, 2015 - 5 comments

Page: 1