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.



  • [Snapshot]
  • [Snapshot]
  • [Snapshot]


J. Barwise and J. Etchemendy, Tarski's World, Stanford, CA: CSLI Publications, 1993.
    • Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Files require Wolfram CDF Player or Mathematica.