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".

1 comment:

Scott said...

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.