Saturday, February 01, 2014
somerby.net/mack/logic
Here's a web application that decides simple statements in a fragment of first-order symbolic logic: somerby.net/mack/logic. It's based on that .NET console application I was calling "Monadic Predicate Logic".
Subscribe to:
Post Comments (Atom)
Posts
1 comment:
This is addictive! Good work on it. It makes me actually want to re-learn all my formal logic that I knew once after taking a course in college, but then forgot a long time ago.
Post a Comment