Saturday, February 01, 2014

Here's a web application that decides simple statements in a fragment of first-order symbolic 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.