Propositional Logic Test

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
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.
Contributed by: Izidor Hafner (March 2011)
Based on work by: Jon Barwise and John Etchemendy
Open content licensed under CC BY-NC-SA
Snapshots
Details
J. Barwise and J. Etchemendy, Tarski's World, Stanford, CA: CSLI Publications, 1993.
Permanent Citation
"Propositional Logic Test"
http://demonstrations.wolfram.com/PropositionalLogicTest/
Wolfram Demonstrations Project
Published: March 7 2011