Puzzle logique de Lewis Carroll

Codage des propositions

Une proposition (prémisse ou conclusion d'un syllogisme) peut être codée par des jetons dans un tableau comme celui ci-dessous; ici le haut du tableau représente les et la moitié gauche du tableau représente les :

Le tableau carré

pas
pas

proposition représentée