Лист за преговор: (Chap 1) Introduction à la logique propositionnelle et des prédicats

1. 📌 L'essentiel

• Proposition : énoncé déclaratif vrai ou faux, valeur 1 ou 0.
• Prédicat : proposition dépendant d’un paramètre, p(x).
• Connecteurs fondamentaux : ¬ (négation), ∧ (conjonction), ∨ (disjonction).
• Implication : p ⇒ ≡ ¬p ∨ q, vraie sauf si p vrai et q faux.
• Contraposée : p ⇒ q ≡ ¬q ⇒ ¬p, partage même valeur de vérité.
• Quantificateurs : ∀ (universel), ∃ (existe), ¬(∀) ≡ ∃¬), ¬(∃) ≡ ∀(¬).
• Tautologie : formule toujours vraie (ex : p ∨ ¬p).
• Loi de De Morgan : ¬(p ∧ q) ≡ ¬p ∨ ¬q.
• Logique des prédicats : extension avec quantificateurs et variables.
• La logique formalise et analyse la validité des raisonnements.

2. 🧩 Structures & Composants clés

• Proposition — énoncé vrai ou faux sans ambiguïté.
• Prédicat — proposition paramétrée, dépend de x.
• Formule — combinaison de variables et connecteurs logiques.
• Connecteurs — ¬, ∧, ∨, ⇒, ⇔, ⊕.
• Quantificateurs — ∀ (universel), ∃ (existe), ∃ ! (unicité).
• Tables de vérité — pour chaque connecteur, 2^n lignes pour n variables.
• Tautologie — formule toujours vraie.
• Négation des quantificateurs — règles fondamentales.
• Propriétés — commutativité, associativité, distributivité, loi de De Morgan.

3. 🔬 Fonctions, Mécanismes & Relations

• Valeur de vérité : déterminée par la table de vérité.
• Implication : si p est vrai et q faux, implication fausse.
• Contraposée : équivalence logique avec implication.
• Quantificateurs :
  • ∀ x p(x) : p(x) vrai pour tout x.
  • ∃ x p(x) : au moins un x vérifie p(x).
  • ¬(∀ x p(x)) ≡ ∃ x ¬p(x).
  • ¬(∃ x p(x)) ≡ ∀ x ¬p(x).
• Flux logique :

Proposition simple
 ├─ Connecteurs (¬, ∧, ∨)
 ├─ Implication et équivalence
 ├─ Quantificateurs
 └─ Négations

4. Tableau comparatif : Connecteurs logiques

Élément	Caractéristiques clés	Notes / Différences
¬	Négation	Inverse la valeur de vérité
∧	Conjonction	Vrai si les deux vrais
∨	Disjonction	Vrai si au moins un vrai
⇒	Implication	Faux si p vrai et q faux
⇔	Équivalence	Vrai si p et q ont même valeur
⊕	Disjonction exclusive	Vrai si p ou q mais pas les deux

5. 🗂️ Diagramme Hiérarchique

Logique
 ├─ Proposition
 │    ├─ Proposition simple
 │    └─ Prédicat (avec paramètre)
 ├─ Connecteurs
 │    ├─ ¬ (unaire)
 │    ├─ ∧, ∨ (binaires)
 │    ├─ ⇒, ⇔, ⊕ (dérivés)
 ├─ Formules
 │    ├─ Variables + connecteurs
 │    └─ Tables de vérité
 ├─ Quantificateurs
 │    ├─ ∀ (universel)
 │    ├─ ∃ (existe)
 │    └─ Négations

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

• Confondre implication (⇒) et disjonction (∨).
• Oublier la négation des quantificateurs.
• Confondre implication et équivalence.
• Confusion entre disjonction et disjonction exclusive.
• Négliger la propriété de tautologie dans les démonstrations.
• Mal appliquer la loi de De Morgan.
• Confondre la négation d’un quantificateur avec le quantificateur de la négation.
• Oublier que ¬(∀ x p(x)) ≡ ∃ x ¬p(x).

7. ✅ Checklist Examen Final

• Définir proposition, prédicat, formule.
• Connaître la table de vérité de ¬, ∧, ∨, ⇒, ⇔.
• Savoir écrire et interpréter un quantificateur (∀, ∃).
• Expliquer la négation des quantificateurs.
• Identifier une tautologie.
• Traduire une implication en formule logique.
• Démontrer l’équivalence entre deux formules.
• Appliquer la loi de De Morgan.
• Analyser une formule pour déterminer sa validité.
• Comprendre la différence entre implication et équivalence.
• Savoir utiliser la logique pour formaliser un raisonnement.
• Maîtriser la hiérarchie et l’organisation des composants logiques.
• Être capable de construire un tableau de vérité pour une formule complexe.
• Connaître les propriétés fondamentales des connecteurs.
• Savoir distinguer entre logique propositionnelle et logique des prédicats.
• Assimiler la règle de négation des quantificateurs pour la preuve ou la réfutation.