http://demonstrations.wolfram.com/FirstOrderLogicTest
The Wolfram Demonstrations Project contains thousands of free interactive visualizations, with new entries added daily.
This Demonstration provides a test in first-order logic. A simple two-dimensional world is inhabited by triangles, squares, and pentagons of three sizes and two colors. The task is to find truth values of ten statements about the world.
Contributed by: Izidor Hafner Based on an idea by: Jon Barwise and John Etchemendy
Link to this comment:
All Comments (0)