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 .