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.
J. Barwise and J. Etchemendy, Tarski's World, Stanford, CA: CSLI Publications, 1993.