Institut de Recherche sur l'Enseignement des Mathématiques de Paris

Dans la langue mathématique comme dans la langue usuelle, plusieurs mots, expressions ou symboles sont réputés correspondre à une certaine notion généralement baptisée ”implication". Mais, dés qu'on examine dans le détail cette correspondance, des contradictions de toute nature surgissent.
En dépit des apparences, cette situation n'est pas totalement confuse, mais se laisse analyser assez simplement, pour peu que l'on renonce à certaines idées classiques.
Ce genre de question redevient d'actualité à un moment où la logique fait une timide réapparition dans les programmes de mathématiques des lycées.