IREMInstitut de recherche sur l'enseignement des mathématiques de Grenoble

Auteur(s) :

Céline MURPHY, Steve WEIMA, Viviane DURAND-GUERRIER

Résumé :

Depuis 2009, en France, un enseignement explicite de la logique mathématique a été introduit dans les programmes de Lycée, non pas sous la forme d'un chapitre, mais sous la forme d'activités proposées tout au long de l'année dans les différents chapitres du programme. La question de la mise en œuvre de cette partie du programme soulève de nombreuses questions. Nous proposons dans cet article des activités pour la classe de seconde mises en œuvre en 2013-2014 dans les classes des deux premiers auteurs et analysées pour le mémoire professionnel réalisé dans le cadre du Master MEEF second degré parcours mathématiques de l'ESPÉ Languedoc-Roussillon. Il s'agissait en particulier de questionner les relations entre logique naturelle et logique mathématique dans le cas de l'implication, en considérant les règles de déduction associées et en prenant en compte les questions de quantification.