Mathématiques · Terminale · Géométrie de l'Espace · 3e Trimestre

Logique et connecteurs logiques

Les élèves étudient l'implication, l'équivalence, la contraposée et la négation de propositions.

• Programmes Officiels
• EDNAT: MAT.TLE.69
• EDNAT: MAT.TLE.70

À propos de ce thème

Les connecteurs logiques structurent tout raisonnement mathématique. L'implication (si... alors), l'équivalence (si et seulement si), la contraposée et la négation sont les briques élémentaires de la démonstration. En Terminale, les élèves doivent maîtriser ces outils pour rédiger des preuves solides et identifier les erreurs de raisonnement. La distinction entre condition nécessaire et condition suffisante est souvent source de confusion, mais elle est cruciale pour la rigueur mathématique.

La contraposée offre une stratégie de preuve alternative parfois plus élégante que la démonstration directe. Savoir réfuter une proposition universelle par un contre-exemple est une compétence transversale, utile bien au-delà des mathématiques. Les débats structurés en classe, où les élèves doivent attaquer ou défendre des propositions logiques, sont particulièrement efficaces pour ancrer ces notions abstraites dans la pratique argumentative.

Questions clés

1. Quelle est la différence entre 'si' et 'seulement si'?
2. Pourquoi prouver la contraposée revient à prouver l'implication directe?
3. Comment réfuter une proposition universelle par un contre-exemple?

Objectifs d'apprentissage

• Démontrer la validité ou la fausseté d'une proposition logique en utilisant des tables de vérité.
• Comparer les conditions nécessaires et suffisantes dans le cadre d'une implication logique.
• Expliquer la relation entre une implication et sa contraposée en utilisant des exemples concrets.
• Identifier la négation correcte d'une proposition impliquant des quantificateurs universels ou existentiels.
• Construire la négation d'une proposition complexe en appliquant les règles de De Morgan.

Avant de commencer

Ensembles et éléments

Pourquoi : La compréhension des ensembles est nécessaire pour manipuler les propositions impliquant des quantificateurs comme 'tous' ou 'il existe'.

Opérations sur les ensembles

Pourquoi : Les notions d'union, d'intersection et de complémentaire d'ensembles préparent à la compréhension des connecteurs logiques et de la négation.

Introduction aux fonctions

Pourquoi : Les élèves ont déjà rencontré des conditions pour définir des fonctions ou des ensembles de définition, ce qui prépare à la notion de condition nécessaire et suffisante.

Vocabulaire clé

Implication	Une proposition de la forme 'Si P, alors Q'. Elle est fausse uniquement si P est vrai et Q est faux.
Équivalence	Une proposition de la forme 'P si et seulement si Q'. Elle est vraie si P et Q ont la même valeur de vérité.
Contraposée	La proposition 'Si non Q, alors non P', qui est logiquement équivalente à l'implication 'Si P, alors Q'.
Négation	L'opération qui inverse la valeur de vérité d'une proposition. La négation de 'P' est notée 'non P'.
Condition nécessaire	Dans 'Si P, alors Q', Q est une condition nécessaire pour P. P ne peut être vrai sans que Q le soit aussi.
Condition suffisante	Dans 'Si P, alors Q', P est une condition suffisante pour Q. Si P est vrai, alors Q est nécessairement vrai.

Attention à ces idées reçues

Idée reçue courante

L'implication « P implique Q » est fausse quand P est fausse.

Ce qu'il faut enseigner à la place

En logique mathématique, une implication dont l'hypothèse est fausse est toujours vraie (vacuously true). Cette convention surprend, mais les tables de vérité construites en groupe aident à l'accepter en montrant qu'aucune contradiction n'apparaît quand la prémisse est fausse.

Idée reçue courante

La réciproque d'une implication vraie est toujours vraie.

Ce qu'il faut enseigner à la place

« x = 2 implique x² = 4 » est vrai, mais la réciproque « x² = 4 implique x = 2 » est fausse (x pourrait valoir -2). Les exercices en binôme sur les couples implication/réciproque rendent ce piège systématiquement visible.

Idée reçue courante

Pour réfuter « pour tout x, P(x) », il faut montrer que P(x) est fausse pour tout x.

Ce qu'il faut enseigner à la place

Un seul contre-exemple suffit. La négation de « pour tout x, P(x) » est « il existe x tel que non P(x) ». Les débats structurés en classe entraînent les élèves à chercher efficacement le bon contre-exemple.

Idées d'apprentissage actif

Débat structuré : Vrai ou faux ?

Affichez dix propositions mathématiques (certaines vraies, d'autres fausses). Deux équipes s'affrontent : l'une doit prouver la vérité (démonstration directe ou contraposée), l'autre réfuter par contre-exemple. Le jury (reste de la classe) évalue la rigueur des arguments.

40 min·Classe entière

Penser-Partager-Présenter: Si vs seulement si

Proposez des énoncés du type « x² = 4 implique x = 2 » et « x = 2 implique x² = 4 ». Individuellement, les élèves déterminent la valeur de vérité. En binôme, ils identifient quelle implication est vraie et construisent la réciproque, puis discutent de quand l'équivalence tient.

20 min·Binômes

Cercle de recherche: Tableau de vérité express

Les groupes construisent les tables de vérité des connecteurs (et, ou, implication, équivalence). Ils identifient les cas où « P implique Q » est vraie quand P est fausse, ce qui surprend souvent. Chaque groupe rédige ensuite un exemple mathématique concret illustrant ce cas.

30 min·Petits groupes

Liens avec le monde réel

• En droit, la distinction entre condition nécessaire et suffisante est fondamentale pour établir la culpabilité. Par exemple, être présent sur les lieux du crime (P) est une condition suffisante, mais pas nécessairement nécessaire, pour être suspecté.
• Dans la conception de circuits électroniques, les portes logiques (ET, OU, NON) implémentent des connecteurs logiques. Un circuit ne s'allume (Q) que si toutes les conditions d'entrée (P1 ET P2 ET P3) sont remplies, illustrant une implication.

Idées d'évaluation

Vérification rapide

Présentez aux élèves la proposition : 'Si un quadrilatère a quatre côtés égaux, alors c'est un carré.' Demandez-leur d'identifier P et Q, d'écrire la contraposée, et de déterminer si la proposition est vraie ou fausse, en justifiant leur réponse.

Question de discussion

Lancez un débat : 'Est-ce que 'avoir 18 ans' est une condition suffisante ou nécessaire pour voter en France ?' Guidez la discussion pour qu'ils utilisent les termes 'implication', 'condition nécessaire', 'condition suffisante' et 'négation'.

Billet de sortie

Donnez aux élèves la proposition : 'Tous les nombres pairs sont divisibles par 3.' Demandez-leur d'écrire une phrase expliquant comment réfuter cette proposition universelle et de fournir un contre-exemple.

Questions fréquentes

Quelle est la différence entre implication et équivalence ?

L'implication P => Q signifie que P est une condition suffisante pour Q. L'équivalence P <=> Q signifie que P est à la fois nécessaire et suffisante pour Q, autrement dit les deux implications (P => Q et Q => P) sont vraies simultanément. Au baccalauréat, il faut prouver les deux sens pour établir une équivalence.

Comment prouver une implication par contraposée ?

Au lieu de montrer « P implique Q », on montre « non Q implique non P », ce qui est logiquement équivalent. Cette méthode est souvent plus facile quand la conclusion Q est difficile à exploiter directement. Par exemple, pour montrer que n² pair implique n pair, on part de n impair et on montre que n² est impair.

Comment nier une proposition avec des quantificateurs ?

La négation de « pour tout x, P(x) » est « il existe x tel que non P(x) ». La négation de « il existe x tel que P(x) » est « pour tout x, non P(x) ». Ces règles de De Morgan généralisées sont essentielles pour construire des contre-exemples et des preuves par l'absurde.

Comment utiliser des méthodes actives pour enseigner la logique en Terminale ?

Les débats structurés autour de propositions mathématiques sont très efficaces : les élèves doivent mobiliser les connecteurs logiques pour attaquer ou défendre un énoncé. La construction collaborative de tables de vérité et la recherche de contre-exemples en binôme développent la rigueur argumentative de façon naturelle.