'Decides statements in propositional logic, modal logic, unary (monadic) predicate logic and term logic' - description on the project's github repo[1]. There i

'Decides statements in propositional logic, modal logic, unary (monadic) predicate logic and term logic' - description on the project's github repo[1]. There is a blog post[2] from the creator introducing the tool in 2014, with an example use case. Not exactly written for amateur laymen though, it dives deep quickly. [1] https://github.com/mackwai/UnaryPredicateLogic https://github.com/mackwai/UnaryPredicateLogic [2] http://mackwai.blogspot.in/2014/03/investigating-logical-arguments-with.html http://mackwai.blogspot.in/2014/03/investigating-logical-arg...