The resource has been added to your collection
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.
This resource has not yet been reviewed.
Not Rated Yet.