Mathématiques · Seconde · Nombres et Calcul : Fondements de l'Analyse · 1er Trimestre

Introduction à la logique mathématique

Les élèves découvrent les connecteurs logiques (ET, OU, NON) et leur utilisation dans les propositions mathématiques.

• Programmes Officiels
• EDNAT: Lycee-LOG-01
• EDNAT: Lycee-LOG-02

À propos de ce thème

L'introduction à la logique mathématique donne aux élèves de Seconde les outils pour structurer leurs raisonnements. Ils découvrent les connecteurs logiques ET, OU, NON et leur utilisation dans les propositions mathématiques. Cette formalisation du langage est essentielle pour la rédaction de démonstrations, la compréhension des conditions nécessaires et suffisantes, et la résolution de problèmes complexes.

La principale difficulté est la différence entre le "ou" logique (inclusif) et le "ou" du langage courant (souvent exclusif). De même, la négation d'une proposition composée (lois de De Morgan) déstabilise les élèves habitués à raisonner de manière intuitive.

Les activités de groupe sont particulièrement adaptées à ce chapitre : les débats sur la valeur de vérité d'une proposition, les exercices de reformulation et les jeux logiques permettent aux élèves de s'approprier un langage formel qui peut sembler artificiel s'il est enseigné de manière magistrale.

Questions clés

1. Differentiate entre une proposition vraie et une proposition fausse en logique.
2. Expliquez comment les connecteurs logiques permettent de construire des énoncés complexes.
3. Analysez l'importance de la précision du langage en logique mathématique.

Objectifs d'apprentissage

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

Avant de commencer

Identification des phrases déclaratives

Pourquoi : Les élèves doivent être capables de distinguer une phrase qui affirme quelque chose (une proposition) d'une question ou d'une exclamation avant de pouvoir attribuer une valeur de vérité.

Concepts de base sur les nombres (pairs, impairs, premiers)

Pourquoi : La compréhension de propriétés numériques simples est nécessaire pour évaluer la vérité de propositions mathématiques de base utilisées comme exemples.

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.

Attention à ces idées reçues

Idée reçue courante

Interpréter le "ou" mathématique comme exclusif (l'un ou l'autre, pas les deux).

Ce qu'il faut enseigner à la place

En mathématiques, le "ou" est toujours inclusif : "A ou B" est vrai si A est vrai, si B est vrai, ou si les deux sont vrais. Le think-pair-share comparant des exemples du quotidien et des propositions mathématiques aide les élèves à ajuster leur intuition linguistique.

Idée reçue courante

Nier une proposition ET en niant chaque partie séparément avec ET (au lieu de OU).

Ce qu'il faut enseigner à la place

La négation de "A ET B" est "non A OU non B" (loi de De Morgan). Les élèves gardent souvent le ET. Des exercices en groupe avec vérification par des exemples numériques concrets permettent de vérifier et d'intérioriser cette règle contre-intuitive.

Idée reçue courante

Confondre implication et équivalence ("si A alors B" avec "A si et seulement si B").

Ce qu'il faut enseigner à la place

L'implication est unidirectionnelle : "si x = 3, alors x est impair" est vraie, mais la réciproque est fausse (x = 5 est aussi impair). Le peer instruction avec vote et contre-exemples rend cette distinction vivante et mémorable.

Idées d'apprentissage actif

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.

15 min·Binômes

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.

35 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.

30 min·Petits groupes

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.

25 min·Classe entière

Liens avec le monde réel

• La conception de circuits électroniques par les ingénieurs informaticiens utilise la logique booléenne, qui repose sur les connecteurs ET, OU, NON, pour définir le comportement des portes logiques.
• Les développeurs de bases de données créent des requêtes complexes pour rechercher des informations spécifiques en utilisant des opérateurs logiques similaires à ET, OU, NON afin de filtrer les résultats selon des critères multiples.
• La programmation informatique, par exemple dans le développement de jeux vidéo ou d'applications mobiles, nécessite de définir des conditions précises (par exemple, 'si le joueur appuie sur ESPACE ET qu'il a assez de points') pour déclencher des actions.

Idées d'évaluation

Vérification rapide

Donnez aux élèves une série de propositions simples comme 'Paris est la capitale de la France' (V), '3 est un nombre pair' (F). Demandez-leur d'écrire V ou F pour chaque proposition. Ensuite, présentez des propositions composées utilisant ET et OU, comme 'Paris est la capitale de la France ET 3 est un nombre pair', et demandez-leur de déterminer la valeur de vérité.

Billet de sortie

Sur une carte, demandez aux élèves de créer une proposition composée vraie en utilisant le connecteur 'ET' et une autre proposition composée vraie en utilisant le connecteur 'OU'. Ils doivent ensuite écrire la négation de l'une de leurs propositions et indiquer sa valeur de vérité.

Question de discussion

Posez la question : 'Dans quelle situation le 'ou' du langage courant (par exemple, 'Tu veux un gâteau ou une glace ?') est-il différent du 'ou' logique ?' Encouragez les élèves à donner des exemples concrets et à expliquer pourquoi la distinction est importante en mathématiques.

Questions fréquentes

Quelle est la différence entre ET et OU en logique mathématique ?

"A ET B" est vrai uniquement quand A et B sont tous les deux vrais. "A OU B" est vrai dès que l'un des deux (au moins) est vrai, y compris quand les deux le sont. Le OU mathématique est donc inclusif, contrairement au "ou" du langage courant qui est souvent exclusif.

Comment nier une proposition avec ET ou OU (lois de De Morgan) ?

La négation de "A ET B" est "non A OU non B". La négation de "A OU B" est "non A ET non B". Le connecteur change quand on nie. Par exemple, la négation de "x > 0 et x < 5" est "x inférieur ou égal à 0 ou x supérieur ou égal à 5".

Quelle est la différence entre condition nécessaire et condition suffisante ?

Une condition suffisante garantit le résultat : si elle est vraie, la conclusion est vraie. Une condition nécessaire est indispensable : sans elle, la conclusion est fausse. Par exemple, être un carré est suffisant pour être un rectangle, mais être un rectangle est nécessaire pour être un carré.

Comment enseigner la logique de manière active en Seconde ?

Les débats sur la valeur de vérité de propositions du quotidien puis mathématiques développent le sens critique. Les lois de De Morgan se comprennent en vérifiant avec des exemples numériques en groupe. Le peer instruction sur les implications et leurs réciproques provoque des confrontations d'arguments qui ancrent les distinctions logiques.