Fiche de révision : Introduction à la logique mathématique

1. 📌 L'essentiel

• Assertion : proposition vraie ou fa, principe du tiers exclu.
• Négation ¬P : la valeur logique (V↔F, F↔V).
• Connecteurs principaux : ET (∧), OU (∨), implication (⇒), équivalence (⇔).
• Tables de vérité : 4 lignes pour chaque connecteur.
• Lois de De Morgan : ¬(P ∧ Q) ⇔ ¬P ∨ ¬Q ; ¬(P ∨ Q) ⇔ ¬P ∧ ¬Q.
• Tautologies : assertions toujours vraies (ex : P ∨ ¬P).
• Contraposée : (P ⇒ Q) ⇔ (¬Q ⇒ ¬P).
• Quantificateurs : universel (∀), existentiel (∃), unicité (∃!).
• Négation des quantificateurs : ∀x P(x) ⇔ ∃x ¬P(x), etc.
• Raisonnements : direct, par contraposée, par l’absurde, par récurrence.

2. 🧩 Structures & Composants clés

• Assertion : proposition simple, valeur V ou F.
• Négation : ¬P, inverse la valeur logique.
• Connecteurs logiques :
  • ∧ (ET) : vrai si P et Q vrais.
  • ∨ (OU) : vrai si au moins P ou Q vrais.
  • ⇒ (IMPLIQUE) : faux si P vrai et Q faux.
  • ⇔ (ÉQUIVALENCE) : même valeur pour P et Q.
• Lois de De Morgan : pour la négation des connecteurs.
• Quantificateurs :
  • ∀x P(x) : pour tout x, P(x) vraie.
  • ∃x P(x) : il existe x tel que P(x) vraie.
  • ∃!x P(x) : il existe un seul x vérifiant P(x).

3. 🔬 Fonctions, Mécanismes & Relations

• La valeur de ¬P est l'inverse de P.
• La vérité de P ∧ Q dépend de P et Q vrais.
• La vérité de P ∨ Q dépend de P ou Q vrais.
• P ⇒ Q est faux uniquement si P vrai et Q faux.
• P ⇔ Q est vrai si P et Q ont la même valeur.
• Lois de De Morgan permettent de transformer la négation d’un connecteur.
• La hiérarchie :
  • ¬ a priorité sur ∧ et ∨.
  • Parenthèses nécessaires pour clarifier.
• La transitivité : (P ⇒ Q) et (Q ⇒ R) impliquent (P ⇒ R).
• Négation des quantificateurs :
  • ¬∀x P(x) ⇔ ∃x ¬P(x).
  • ¬∃x P(x) ⇔ ∀x ¬P(x).
• Raisonnements : utiliser contraposée, contradiction, récurrence.

4. Tableau de synthèse

5. Mini-Schéma ASCII

Assertion
 ├─ Négation ¬P
 ├─ Connecteurs
 │   ├─ ET (∧)
 │   ├─ OU (∨)
 │   ├─ Implication (⇒)
 │   └─ Équivalence (⇔)
 ├─ Lois de De Morgan
 ├─ Tautologies / Incompatibilités
 ├─ Quantificateurs
 │   ├─ Universel ∀
 │   ├─ Existentiel ∃
 │   └─ Unicité ∃!
 └─ Raisonnements
     ├─ Direct
     ├─ Contraposée
     ├─ Absurd
     └─ Récurrence

6. Pièges & Confusions fréquentes

• Confondre implication (⇒) et équivalence (⇔).
• Oublier la priorité des connecteurs.
• Mal appliquer les lois de De Morgan.
• Confondre négation d’un quantificateur avec la négation de la propriété.
• Négliger la nécessité des parenthèses.
• Confusion entre ∃ et ∀.
• Croire qu’une tautologie est toujours évidente.
• Mauvaise utilisation de la récurrence.

7. ✅ Checklist pour l'examen

• Maîtriser la différence entre assertion, négation, connecteurs.
• Savoir construire et interpréter une table de vérité.
• Connaître et appliquer lois de De Morgan.
• Savoir démontrer par contraposée, contradiction, récurrence.
• Comprendre la négation des quantificateurs.
• Savoir identifier tautologies et incompatibilités.
• Être capable de faire des raisonnements logiques formels.
• Respecter la priorité des connecteurs.
• Savoir écrire et lire un schéma ASCII hiérarchique.
• Être à l’aise avec la traduction entre formules et leur négation.

Ce résumé synthétise l’essentiel pour maîtriser la logique mathématique en vue de l’examen.