Revision sheet: Logique et Raisonnements Mathématiques

1. 📌 L'essentiel

• Une assertion est une proposition qui peut être vraie ou fausse, principe du tiers exclu.
• Négation ¬P est vraie si P est fausse ; inversement.
• Connecteurs logiques principaux : ET (), OU (∨), implication (→),ivalence (↔).
• Implication : P → Q ≡ ¬P ∨ Q ; condition suffisante.
• Lois de De Morgan : ¬(P ∨ Q) ≡ ¬P ∧ ¬Q, ¬(P ∧ Q) ≡ ¬P ∨ ¬Q.
• Quantificateurs : universel (∀x), existentiel (∃x), et leur négation.
• Récurrence : prouver pour n=0, puis étape n→n+1 pour démontrer une propriété pour tous n.
• Techniques de raisonnement : direct, contraposée, par contradiction, par récurrence.
• Tautologies : propositions vraies dans tous les cas, ex. P ∨ ¬P.
• Incompatibilité : P ∧ Q ≡ F (toujours faux).
• Équivalence : P ↔ Q si mêmes valeurs de vérité.

2. 🧩 Structures & Composants clés

• Assertion : proposition simple ou composée, vraie ou fausse.
• Négation : ¬P, inverse la valeur de vérité.
• Connecteurs logiques :
  • ET (∧) : vrai si les deux vrais.
  • OU (∨) : vrai si au moins un vrai.
  • Implication (→) : vrai sauf si P vrai et Q faux.
  • Équivalence (↔) : même valeur de vérité.
• Tables de vérité : outils pour déterminer valeurs de vérité.
• Propriétés : commutativité, associativité, distributivité.
• Lois de De Morgan : transformations des négations.
• Quantificateurs :
  • Universel (∀x P(x))
  • Existentiel (∃x P(x))
  • Négation : ¬(∀x P(x)) ≡ ∃x ¬P(x)
• Techniques de raisonnement :
  • Direct, contraposée, contradiction, récurrence.
• Récurrence :
  • Simple : P(0), P(n)→P(n+1).
  • Forte : dépend de plusieurs termes antérieurs.

3. 🔬 Fonctions, Mécanismes & Relations

• Implication : P → Q est vraie sauf si P vrai et Q faux.
• Négation des quantificateurs :
  • ¬(∀x P(x)) ≡ ∃x ¬P(x)
  • ¬(∃x P(x)) ≡ ∀x ¬P(x)
• Lois de De Morgan :
  • ¬(P ∨ Q) ≡ ¬P ∧ ¬Q
  • ¬(P ∧ Q) ≡ ¬P ∨ ¬Q
• Équivalence : P ↔ Q si (P → Q) ∧ (Q → P).
• Raisonnement par contraposée : P → Q ≡ ¬Q → ¬P.
• Raisonnement par contradiction : supposer la négation de Q, aboutir à contradiction.
• Récurrence : étape initiale + étape d’hérédité pour prouver une propriété pour tout n.
• Organisation hiérarchique :

  Proposition
   ├─ Négation
   ├─ Connecteurs
   │    ├─ ET (∧)
   │    ├─ OU (∨)
   │    ├─ → (implication)
   │    └─ ↔ (équivalence)
   └─ Quantificateurs
        ├─ ∀ (universel)
        └─ ∃ (existantiel)
  

4. Tableau comparatif : Quantificateurs et négations

Élément	Caractéristiques clés	Notes / Différences
∀x P(x)	Pour tout x, P(x) est vrai	Négation : ¬(∀x P(x)) ≡ ∃x ¬P(x)
∃x P(x)	Il existe au moins un x, P(x) vrai	Négation : ¬(∃x P(x)) ≡ ∀x ¬P(x)

5. 🗂️ Diagramme hiérarchique ASCII

Logique
 ├─ Assertions
 │    ├─ Vrai / Faux
 │    └─ Négation (¬)
 ├─ Connecteurs
 │    ├─ ET (∧)
 │    ├─ OU (∨)
 │    ├─ Implication (→)
 │    └─ Équivalence (↔)
 ├─ Quantificateurs
 │    ├─ Universel (∀)
 │    └─ Existentiel (∃)
 └─ Raisonnement
      ├─ Direct
      ├─ Contraposée
      ├─ Contradiction
      └─ Récurrence

6. ⚠️ Pièges & Confusions fréquentes

• Confondre implication (→) et équivalence (↔).
• Oublier la négation des quantificateurs.
• Confondre ¬(∀x P(x)) et ¬(∃x P(x)).
• Mauvaise utilisation des lois de De Morgan.
• Croire que P ∧ Q est vrai si P ou Q est vrai (erreur).
• Confondre la récurrence simple et forte.
• Négliger la condition d’indépendance lors de permutation de quantificateurs.
• Oublier la condition initiale en preuve par récurrence.

7. ✅ Checklist Examen Final

• Maîtriser la définition d’une assertion et ses propriétés.
• Savoir écrire et transformer une négation.
• Connaître et appliquer les connecteurs logiques et leurs tables de vérité.
• Comprendre et utiliser les lois de De Morgan.
• Savoir formuler et négationner des quantificateurs.
• Maîtriser la logique de l’implication et de l’équivalence.
• Savoir prouver par contraposée, contradiction, ou récurrence.
• Être capable de construire un tableau de vérité pour une formule complexe.
• Connaître la hiérarchie des composants logiques.
• Identifier et éviter les pièges courants.
• Savoir faire des démonstrations formelles en logique mathématique.

Ce résumé synthétique, organisé et précis, permet une révision efficace pour l’examen en logique et raisonnements.