Propositional Logic Puzzle Generator
This Demonstration shows a propositional logic generator. A simple two-dimensional world is inhabited by triangles, squares, and pentagons, each with three sizes and two colors. The task is to find labels for the figures. We are given the truth values of some statements about the world.
J. Barwise and J. Etchemendy, Tarski's World, Stanford, CA: CSLI Publications, 1993.