Knights and Knaves Puzzle Generator

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.

This Demonstration provides a generator of "knights and knaves" logic puzzlesin English, Esperanto, and French. These puzzles are about an island in which some natives called "knights" always tell the truth and others called "knaves" always lie. It is assumed that every inhabitant of the island is either a knight or a knave. If an inhabitant makes a statement , then we may conclude that is a knight if and only if is true. Such a fact is symbolically represented by .

[more]

Tiu-ĉi bildo prezentas la generilon de logikaj problemoj de tipo »kavaliroj kaj varletoj«. Tio estas enigmoj pri la insulo, sur kiu loĝas du grupoj da loĝantoj: la unua, kiun oni nomas “kavalirojn”, ĉiam diras la veron. La dua, kiun oni nomas „varletojn“, ĉiam mensogas. Ĉiu loĝanto de la insulo estas aÅ­ kavaliro aÅ­ varleto. Se loĝanto A eldiras deklaron P, oni povas findecidi, ke A estas kavaliro se, kaj nur se, estas vera. Simbole ni prezentas tiun fakton tiamaniere: .

Cette démonstration fournit un générateur de casse-tęte logiques "chevaliers et valets". Ces énigmes parlent d'une île dans laquelle certains indigènes sont appelés "chevaliers" et disent toujours la vérité et d'autres sont appelés "valets" et mentent toujours. On suppose que chaque habitant de l'île est soit un chevalier soit un valet. Si l'habitant fait une déclaration , on peut conclure que est un chevalier si et seulement si est vrai. Un tel fait est symboliquement représenté par .

[less]

Contributed by: Meta Lah, Simona Klemencic and Izidor Hafner (April 2009)
Based on work by: Raymond M. Smullyan
Open content licensed under CC BY-NC-SA


Snapshots


Details

R. M. Smullyan, What Is the Name of This Book?, Englewood Cliffs, NJ: Prentice–Hall, 1978.



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