First-Order Logic Test
First-Order Logic Test
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.