Determine the Figures

Initializing live version
Download to Desktop

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.

Given a board with figures and true or false statements about them, determine the figures.


A figure has a shape (triangle, square, pentagon), a color (yellow, orange, green), a name (, , , …), and a size (small, medium, large).

To get a problem where the statements are independent, the number of statements should be near the number of figures.

(Note that "iff" means "if and only if".)


Contributed by: Izidor Hafner (May 2014)
Open content licensed under CC BY-NC-SA



According to p. 3 of [2], the most distinctive feature of such problems is that the information comes in two different forms: graphical and sentential.


[1] J. Barwise and J. Etchemendy, Tarski's World, Stanford, CA: CSLI Publications, 1993.

[2] J. Barwise and J. Etchemendy, Hyperproof, Stanford, CA: CSLI Publications, 1994.

Feedback (field required)
Email (field required) Name
Occupation Organization
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.