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