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.