Cet atelier présente une activité sous forme de jeu de plateau à deux joueurs destinée à construire une représentation intuitive des concepts d’opérateurs logiques, de quantificateurs, et des règles de raisonnement associées. La conception met en avant la dualité entre opérateurs et la symétrie entre preuve et réfutation, dans un décor inspiré de l’imaginaire pirate où des cartes au trésor scénarisent des formules logiques. Un jeu de base correspond à la logique propositionnelle et une extension ajoute des quantificateurs et prédicats. On présentera des retours d’expérience issus d’une utilisation du dispositif dans un contexte de médiation auprès d’élèves de lycée.