Trois logiciennes sont dans un bar...

Les logiciennes tentent de répondre à la proposition "Les trois logiciennes veulent une bière".
La première répond "Je ne sais pas" car elle ignore si ses amies veulent une bière. Si elle ne voulait pas de bière elle répondrait "Non" car il suffit qu’une logicienne ne veuille pas de bière pour contredire la proposition. Elle veut donc une bière.
La seconde logicienne sait que la première veut une bière mais ignore ce que la dernière veut. Puisqu’elle répond aussi "Je ne sais pas" elle veut elle aussi une bière sinon elle répondrait "Non".
La dernière logicienne sait que ses amies veulent une bière. Puisqu’elle veut aussi une bière, les trois logiciennes veulent une bière et elle répond "Oui" à la proposition.