2014 Bulletin de l’APMEP. N° 511. p. 524-530. Une progression pour l’enseignement de la logique propositionnelle au lycée. Auteur : Larrieu Jean-Yves