Introduction à la logique mathématique

Les élèves apprennent mieux en expérimentant activement les subtilités des connecteurs logiques. En manipulant des exemples concrets et en collaborant, ils intériorisent les différences entre le langage courant et le langage mathématique, ce qui facilite la transition vers les démonstrations structurées. Cette approche les aide à éviter les interprétations intuitives erronées.

• Seconde
• Mathématiques : Raisonnement et Modélisation
• 4 activités
• 15 min–35 min

Objectifs d’apprentissage

1. Identifier la valeur de vérité (vrai ou faux) de propositions simples et composées à l'aide des connecteurs logiques.
2. Analyser la structure des propositions complexes pour déterminer leur valeur de vérité en fonction des connecteurs utilisés.
3. Expliquer le rôle des connecteurs logiques (ET, OU, NON) dans la construction d'énoncés mathématiques précis.
4. Comparer la signification du connecteur 'OU' en logique mathématique et dans le langage courant.
5. Démontrer la compréhension de la négation d'une proposition simple et composée.

Penser-Partager-Présenter

⏱ 15 min·Binômes

Penser-Partager-Présenter: Ou inclusif vs ou exclusif

L'enseignant propose des phrases du quotidien ("fromage ou dessert", "il est grand ou blond") et des propositions mathématiques ("x = 2 ou x = 3"). Chaque élève détermine si le "ou" est inclusif ou exclusif, compare avec son voisin, puis la classe formalise la convention mathématique.

Préparation et détails

Differentiate entre une proposition vraie et une proposition fausse en logique.

Conseil de facilitation: Pendant le Think-Pair-Share, invitez les élèves à comparer des exemples du quotidien avec des propositions mathématiques pour clarifier la différence entre 'ou' inclusif et exclusif.

Setup: Disposition de classe standard ; les élèves se tournent vers leur voisin

Materials: Consigne de discussion (projetée ou distribuée), Optionnel : fiche de prise de notes pour les binômes

• Comprendre
• Appliquer
• Analyser
• Conscience de soi
• Compétences relationnelles

Cercle de recherche

⏱ 35 min·Petits groupes

Cercle de recherche: Les lois de De Morgan en pratique

Chaque groupe reçoit des propositions composées et doit en écrire la négation. Ils vérifient avec des exemples numériques : la négation de "x > 2 ET x < 5" est-elle "x inférieur ou égal à 2 OU x supérieur ou égal à 5" ? Les groupes comparent leurs résultats et formalisent les lois.

Préparation et détails

Expliquez comment les connecteurs logiques permettent de construire des énoncés complexes.

Conseil de facilitation: Lors de l'investigation collaborative sur les lois de De Morgan, fournissez des exemples numériques concrets pour vérifier que les élèves intériorisent la règle de négation.

Setup: Groupes en îlots avec accès aux ressources documentaires

Materials: Corpus de documents sources, Fiche de suivi du cycle de recherche, Protocole de formulation de questions, Canevas de présentation des résultats

• Analyser
• Évaluer
• Créer
• Autogestion
• Conscience de soi

Galerie marchande

⏱ 30 min·Petits groupes

Galerie marchande: Vrai, faux ou indéterminé ?

Six affiches présentent chacune une proposition mathématique. Les groupes évaluent la valeur de vérité, justifient leur réponse et annotent les affiches. Les cas ambigus génèrent des débats qui permettent de préciser les définitions.

Préparation et détails

Analysez l'importance de la précision du langage en logique mathématique.

Conseil de facilitation: Pendant le Gallery Walk, exigez que chaque groupe justifie ses réponses pour encourager une réflexion approfondie sur la valeur de vérité des propositions.

Setup: Espace mural dégagé ou tables disposées en périphérie de la salle

Materials: Papier grand format ou panneaux d'affichage, Feutres et marqueurs, Post-it pour les retours critiques

• Comprendre
• Appliquer
• Analyser
• Créer
• Compétences relationnelles
• Conscience sociale

Débat formel

⏱ 25 min·Classe entière

Peer Instruction : Condition nécessaire ou suffisante ?

L'enseignant projette des implications ("si x² = 4, alors x = 2" ; "si x = 3, alors x est impair"). Les élèves votent sur la validité, identifient les contre-exemples, puis distinguent condition nécessaire, suffisante, et nécessaire et suffisante.

Préparation et détails

Differentiate entre une proposition vraie et une proposition fausse en logique.

Conseil de facilitation: Lors du Peer Instruction sur les conditions nécessaires et suffisantes, utilisez des votes anonymes pour révéler les malentendus et les corriger collectivement.

Setup: Deux équipes face à face, le reste de la classe en position d'auditoire

Materials: Fiche de sujet de débat, Dossier documentaire pour chaque camp, Grille d'évaluation pour le public, Chronomètre

• Analyser
• Évaluer
• Créer
• Autogestion
• Prise de décision

Enseigner ce sujet

Commencez par des exemples simples pour ancrer les connecteurs logiques dans des situations familières. Évitez de présenter les lois de De Morgan comme des formules à mémoriser : faites-les découvrir par les élèves à travers des manipulations concrètes. Insistez sur la différence entre implication et équivalence en utilisant des contre-exemples pour ancrer la compréhension.

À quoi s’attendre

Les élèves distinguent clairement le 'ou' inclusif du 'ou' exclusif et appliquent correctement les lois de De Morgan. Ils savent rédiger des négations de propositions composées et identifient avec précision les conditions nécessaires et suffisantes dans des énoncés mathématiques.

Attention à ces idées reçues

Idée reçue courante

During Think-Pair-Share : Ou inclusif vs ou exclusif, certains élèves interprètent encore le 'ou' mathématique comme exclusif.

Ce qu'il faut enseigner à la place

Utilisez les exemples du quotidien proposés dans l'activité pour montrer que le 'ou' logique inclut les deux possibilités. Faites verbaliser aux élèves la règle : 'A ou B' est vrai si l'un, l'autre ou les deux sont vrais.

Idée reçue courante

During Collaborative Investigation : Les lois de De Morgan, certains élèves nient une proposition ET en niant chaque partie avec ET au lieu de OU.

Ce qu'il faut enseigner à la place

Demandez aux élèves de tester leurs négations avec des exemples numériques concrets fournis dans l'activité. Faites-leur constater que 'non (2 est pair ET 3 est premier)' est faux alors que 'non 2 est pair OU non 3 est premier' est vrai.

Idée reçue courante

During Peer Instruction : Condition nécessaire ou suffisante, les élèves confondent implication et équivalence.

Ce qu'il faut enseigner à la place

Lors du vote, présentez des implications simples comme 'Si un nombre est divisible par 4, alors il est pair' et faites vérifier la réciproque avec des contre-exemples pour distinguer clairement les deux notions.

Idées d'évaluation

Vérification rapide

After Think-Pair-Share : Proposez une série de propositions simples et composées utilisant ET et OU. Demandez aux élèves d'écrire la valeur de vérité de chaque proposition et de justifier leur réponse en une phrase.

Billet de sortie

During Gallery Walk : À la fin de l'activité, demandez aux élèves de rédiger une proposition composée vraie utilisant ET et une autre utilisant OU, puis d'écrire leur négation et d'en déterminer la valeur de vérité.

Question de discussion

During Peer Instruction : Posez la question : 'Dans un problème mathématique, comment distinguer une condition nécessaire d'une condition suffisante ?' Encouragez les élèves à utiliser des exemples concrets issus des activités précédentes pour illustrer leur réponse.

Extensions et étayage

• Challenge : Proposez aux élèves de créer une énigme logique utilisant les trois connecteurs (ET, OU, NON) et leurs négations pour leurs camarades.
• Scaffolding : Pour les élèves en difficulté, fournissez des cartes avec des propositions simples et leurs négations à associer pour visualiser les lois de De Morgan.
• Deeper : Introduisez les tables de vérité comme outil systématique pour vérifier les propositions composées et explorer les tautologies.

Vocabulaire clé

Proposition	Une phrase mathématique qui a une valeur de vérité unique : soit vraie, soit fausse. Par exemple, '2 + 2 = 4' est une proposition vraie.
Connecteur logique	Un mot ou une expression qui relie des propositions pour en former de nouvelles, plus complexes. Les connecteurs principaux sont ET, OU, NON.
Conjonction (ET)	Le connecteur 'ET' rend une proposition composée vraie seulement si les deux propositions initiales sont vraies. Exemple : 'Il pleut ET le soleil brille'.
Disjonction (OU)	Le connecteur 'OU' rend une proposition composée vraie si au moins une des propositions initiales est vraie. Il est inclusif. Exemple : 'Je prends un café OU un thé'.
Négation (NON)	Le connecteur 'NON' inverse la valeur de vérité d'une proposition. Si une proposition est vraie, sa négation est fausse, et vice-versa.