Inconsistent Sets of Statements from Knights and Knaves

Requires a Wolfram Notebook System

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

Requires a Wolfram Notebook System

Edit on desktop, mobile and cloud with any Wolfram Language product.

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.

[more]

Show that the statements are inconsistent!

[less]

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


Snapshots


Details

detailSectionParagraph


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.
Send