Το Λογικό Αίνιγμα του Lewis Carroll: Ποιος Φροντίζει το Κατάστημα;

Το $1894$, ο Lewis Carroll δημοσίευσε ένα αίνιγμα που, όπως έγραψε, παρουσιάζει μια αρκετά μεγάλη δυσκολία. 

Ας υποθέσουμε ότι ο Άλεν, ο Μπράουν και ο Καρ διατηρούν ένα κατάστημα.

Οι υποθέσεις είναι οι εξής:

• Τουλάχιστον ένας από αυτούς πρέπει να είναι πάντα παρών για να φροντίζει το μαγαζί.
• Όποτε ο Άλεν φεύγει, παίρνει μαζί του τον Μπράουν.

Ας υποθέσουμε τώρα ότι ο Καρ είναι έξω από το κατάστημα:

• Αν ο Άλεν είναι έξω, τότε ο Μπράουν πρέπει να είναι μέσα για να φροντίσει το μαγαζί.
• Αλλά ξέρουμε ότι αυτό δεν ισχύει — μας είπαν ότι όποτε ο Άλεν είναι έξω, ο Μπράουν είναι επίσης έξω.

Εφόσον η υπόθεση ότι ο Καρ είναι έξω οδηγεί σε αντίφαση, τότε η υπόθεση αυτή πρέπει να είναι ψευδής. Αυτό προκαλεί σύγχυση, καθώς οι νόμοι της λογικής φαίνεται να απαιτούν ότι ο Καρ δεν μπορεί ποτέ να φύγει από το κατάστημα.
«Ελπίζω πολύ ότι κάποιοι από τους αναγνώστες του Mind που ενδιαφέρονται για τη λογική θα βοηθήσουν στο ξεκαθάρισμα αυτών των περίεργων δυσκολιών», έγραψε ο Carroll.
Ποιο είναι όμως το λάθος;