Logique et connecteurs logiques

Les connecteurs logiques sont des outils abstraits que les élèves saisissent mieux par la manipulation active que par la théorie seule. En construisant eux-mêmes des preuves ou en débattant de propositions, ils ancrent ces concepts dans une démarche concrète. L'erreur devient une étape visible plutôt qu'une faute à cacher, ce qui favorise la mémorisation et la confiance.

• Terminale
• Mathématiques : Vers l\\
• 3 activités
• 20 min–40 min

Objectifs d’apprentissage

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

Débat formel

⏱ 40 min·Classe entière

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.

Préparation et détails

Quelle est la différence entre 'si' et 'seulement si'?

Conseil de facilitation: Pendant le débat structuré, insistez pour que chaque élève reformule l'implication ou la négation avant de donner son avis.

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

Penser-Partager-Présenter

⏱ 20 min·Binômes

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.

Préparation et détails

Pourquoi prouver la contraposée revient à prouver l'implication directe?

Conseil de facilitation: Lors du Think-Pair-Share, demandez aux binômes d'écrire au tableau deux propositions distinctes : une avec 'si et seulement si' et une avec seulement 'si'.

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

⏱ 30 min·Petits groupes

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.

Préparation et détails

Comment réfuter une proposition universelle par un contre-exemple?

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

Enseigner ce sujet

Commencez par des exemples concrets issus de la vie quotidienne pour introduire les connecteurs logiques, comme les règles de jeu ou les conditions d'accès. Évitez de donner trop de définitions d'un coup : les élèves ont besoin de temps pour manipuler les propositions avant de les formaliser. Insistez sur la contraposée comme outil de preuve, car c'est souvent le plus puissant et le moins compris.

À quoi s’attendre

Les élèves identifient sans hésiter l'hypothèse et la conclusion d'une implication, distinguent condition nécessaire et suffisante, et utilisent la contraposée pour reformuler un raisonnement. Ils repèrent aussi les contre-exemples avec précision et justifient leurs choix par des connecteurs logiques adaptés.

Attention à ces idées reçues

Idée reçue courante

During Débat structuré : Vrai ou faux ?, certains élèves pensent que l'implication est fausse lorsque l'hypothèse est fausse.

Ce qu'il faut enseigner à la place

Pendant ce débat, construisez ensemble la table de vérité de l'implication sur le tableau en utilisant des exemples numériques simples. Montrez que quand P est fausse, l'implication reste vraie indépendamment de Q.

Idée reçue courante

During Think-Pair-Share : Si vs seulement si, des élèves généralisent que la réciproque est toujours vraie dès que l'implication l'est.

Ce qu'il faut enseigner à la place

Pendant l'activité, demandez aux binômes de tester leur implication et sa réciproque avec des valeurs numériques variées. Insistez sur la nécessité de vérifier plusieurs cas, y compris des valeurs négatives ou nulles.

Idée reçue courante

During Collaborative Investigation : Tableau de vérité express, les élèves pensent qu'il faut tester tous les cas pour réfuter une proposition universelle.

Ce qu'il faut enseigner à la place

Lors de la construction du tableau, soulignez qu'un seul contre-exemple suffit pour invalider une assertion universelle. Montrez comment choisir des valeurs qui rendent P(x) fausse pour un x donné.

Idées d'évaluation

Vérification rapide

After Débat structuré : Vrai ou faux ?, présentez la proposition : 'Si un nombre est divisible par 4, alors il est pair.' Demandez aux élèves d'identifier P et Q, d'écrire la contraposée et de déterminer la vérité de la proposition en justifiant avec la table de vérité construite pendant le débat.

Question de discussion

During Think-Pair-Share : Si vs seulement si, lancez la discussion : 'Est-ce que 'être un carré' est une condition nécessaire ou suffisante pour 'avoir quatre angles droits' ?' Guidez-les pour qu'ils utilisent les termes 'implication', 'condition nécessaire', 'condition suffisante' et 'équivalence' dans leurs échanges.

Billet de sortie

After Collaborative Investigation : Tableau de vérité express, donnez la proposition : 'Tous les multiples de 6 sont divisibles par 12.' Demandez aux élèves d'écrire une phrase expliquant comment réfuter cette affirmation et de fournir un contre-exemple clair.

Extensions et étayage

• Proposez aux élèves rapides de créer une énigme logique à deux étapes en utilisant implication et réciproque, à faire résoudre par un pair.
• Pour les élèves en difficulté, fournissez une fiche avec des propositions déjà découpées (P, Q, non P, non Q) à réorganiser pour former implication ou équivalence.
• Approfondissez avec un problème ouvert : 'Trouvez une condition nécessaire et suffisante pour qu'un triangle soit isocèle, mais pas équilatère.'

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.