Inconsistent Sets of Statements from Knights and Knaves

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.

On an island of knights and knaves, knights always tell the truth, knaves always lie, and everyone is either a knight or a knave. There are inhabitants denoted by A, B, C, …. Each one makes a statement about the number of knights in a set. (The set is the empty set with zero knights.) Their vocabulary is rather limited; generally they talk about even and odd numbers.


Show that the statements are inconsistent!


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




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.