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