Inconsistent Sets of Statements from Knights and Knaves
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.[more]
Show that the statements are inconsistent![less]
Contributed by: Izidor Hafner (January 2013)
Open content licensed under CC BY-NC-SA
"Inconsistent Sets of Statements from Knights and Knaves"
Wolfram Demonstrations Project
Published: January 9 2013