Version Bêta · Lancement officiel le 28 août 2026 Signaler un bug

Logique mathématique

المنطق الرياضي

Cours complet inclus 110 exercices interactifs Fiche PDF Partager

Cours complet

Contenu du cours

I. Propositions et connecteurs logiques

Définition

Une proposition est un énoncé qui est soit vrai (V), soit faux (F).

Connecteurs logiques

  • Négation : non P (notée ¬P ou P). Vraie quand P est fausse.
  • Conjonction : P et Q (notée P ∧ Q). Vraie quand P et Q sont toutes deux vraies.
  • Disjonction : P ou Q (notée P ∨ Q). Vraie quand au moins l'une est vraie.
  • Implication : P ⇒ Q. Fausse uniquement quand P est vraie et Q fausse.
  • Équivalence : P ⇔ Q. Vraie quand P et Q ont la même valeur de vérité.

II. Quantificateurs

  • ∀ (pour tout) : ∀x ∈ E, P(x) signifie que P(x) est vraie pour tout x de E.
  • ∃ (il existe) : ∃x ∈ E, P(x) signifie qu'il existe au moins un x dans E tel que P(x) est vraie.

Négation des quantificateurs

  • ¬(∀x, P(x)) ⇔ ∃x, ¬P(x)
  • ¬(∃x, P(x)) ⇔ ∀x, ¬P(x)

III. Raisonnements mathématiques

  • Raisonnement direct : On part de l'hypothèse pour arriver à la conclusion.
  • Contraposée : (P⇒Q) ⇔ (¬Q⇒¬P)
  • Par l'absurde : On suppose ¬P et on aboutit à une contradiction.
  • Par récurrence : Initialisation + Hérédité ⇒ ∀n, P(n)
  • Contre-exemple : Pour réfuter ∀x P(x), il suffit de trouver un x₀ tel que ¬P(x₀).
  • Disjonction de cas : On étudie tous les cas possibles séparément.

🔑 Formules clés à retenir

  • ¬(P ∧ Q) ⇔ (¬P) ∨ (¬Q)
  • ¬(P ∨ Q) ⇔ (¬P) ∧ (¬Q)
  • (P⇒Q) ⇔ (¬Q⇒¬P)
  • ¬(∀x, P(x)) ⇔ ∃x, ¬P(x)
⚠️

Astuces & Pièges à éviter

Les erreurs classiques — à lire avant les exercices !

🔴 Pièges classiques

L'implication est fausse uniquement quand P est vraie et Q fausse. Si P est fausse, l'implication est toujours vraie (ex vacuo). " la lune est en fromage" est une implication vraie !

Confondre réciproque et contraposée : réciproque de est — qui n'est pas toujours vraie. La contraposée est toujours équivalente à .

Erreur de récurrence : oublier l'initialisation invalide tout le raisonnement. Même si l'hérédité est parfaite, sans initialisation la preuve est incomplète.

🟢 Astuces de pros

Nier un quantificateur : . Pour réfuter "tout entier est pair", il suffit de trouver UN entier impair.

Choisir son raisonnement : si la contraposée ou l'absurde semble plus simple, utilise-les ! La contraposée est souvent plus naturelle pour les implications avec "si non...".

💡

Raisonnement par l'absurde : suppose la négation de ce qu'on veut prouver, déroule les implications jusqu'à une contradiction évidente (, rationnel, etc.).