Implication logique : \(P \Rightarrow Q\) est vraie si whenever P est vraie, Q est également vraie.
- Supposer que P est vraie
- Démontrer que Q est vraie sous cette hypothèse
- Conclure que \(P \Rightarrow Q\)
Soit \(x\) un entier pair
Cela signifie qu'il existe un entier \(k\) tel que \(x = 2k\)
\(x^2 = (2k)^2 = 4k^2 = 2(2k^2)\)
\(x^2 = 2(2k^2)\) donc \(x^2\) est de la forme \(2 \times\) un entier
Donc \(x^2\) est pair
On a montré que si \(x\) est pair, alors \(x^2\) est pair
Donc \(P \Rightarrow Q\)
"x est pair" est une condition suffisante pour que "x² est pair"
"x² est pair" est une condition nécessaire pour que "x est pair"
On a démontré que si \(x\) est pair, alors \(x^2\) est pair. Donc \(P \Rightarrow Q\).
• Définition : Un entier est pair s'il est divisible par 2
• Preuve directe : Supposer P vraie et démontrer Q
• Conclusion : \(P \Rightarrow Q\) signifie que P est suffisant pour Q
Implication non réciproque : \(P \Rightarrow Q\) sans que \(Q \Rightarrow P\).
Soit \(x > 0\), montrons que \(x^2 > 0\)
Si \(x > 0\), alors \(x^2 = x \times x > 0 \times 0 = 0\)
Donc \(x^2 > 0\)
Donc \(P \Rightarrow Q\)
Essayons de voir si \(x^2 > 0 \Rightarrow x > 0\)
Considérons \(x = -1\)
Alors \(x^2 = (-1)^2 = 1 > 0\) (donc Q est vraie)
Mais \(x = -1 < 0\) (donc P est fausse)
Nous avons trouvé un cas où Q est vraie mais P est fausse
Donc \(Q \not\Rightarrow P\)
"x > 0" est une condition suffisante pour "x² > 0"
"x² > 0" est une condition nécessaire pour "x > 0" mais pas suffisante
En fait, \(x^2 > 0 \Leftrightarrow x \neq 0\), ce qui est plus faible que \(x > 0\)
On a montré que \(P \Rightarrow Q\) mais que la réciproque est fausse car \(x = -1\) est un contre-exemple.
• Contre-exemple : Pour montrer que \(Q \not\Rightarrow P\), il suffit d'un exemple où Q est vraie et P est fausse
• Asymétrie : Une implication n'est pas toujours réciproque
• Conditions : Comprendre la différence entre nécessaire et suffisant
Équivalence logique : \(P \Leftrightarrow Q\) signifie \(P \Rightarrow Q\) et \(Q \Rightarrow P\).
Soit \(x\) un multiple de 6, montrons que \(x\) est divisible par 2 et par 3
Si \(x\) est multiple de 6, alors \(x = 6k\) pour un certain entier \(k\)
\(x = 6k = 2(3k)\), donc \(x\) est divisible par 2
\(x = 6k = 3(2k)\), donc \(x\) est divisible par 3
Donc \(P \Rightarrow Q\)
Soit \(x\) divisible par 2 et par 3, montrons que \(x\) est multiple de 6
Si \(x\) est divisible par 2, alors \(x = 2a\) pour un certain entier \(a\)
Si \(x\) est divisible par 3, alors \(x = 3b\) pour un certain entier \(b\)
Si un entier est divisible par 2 et par 3, et que 2 et 3 sont premiers entre eux, alors il est divisible par \(2 \times 3 = 6\)
Donc \(x\) est multiple de 6
Donc \(Q \Rightarrow P\)
On a montré que \(P \Rightarrow Q\) et \(Q \Rightarrow P\)
Donc \(P \Leftrightarrow Q\)
"x est multiple de 6" est équivalent à "x est divisible par 2 et par 3"
Chacune des propriétés est à la fois nécessaire et suffisante pour l'autre
Les deux propriétés sont équivalentes : \(P \Leftrightarrow Q\).
• Équivalence : Démontrer les deux implications \(P \Rightarrow Q\) et \(Q \Rightarrow P\)
• Divisibilité : Utiliser les propriétés des diviseurs
• Primalité : Si un nombre est divisible par deux nombres premiers entre eux, il est divisible par leur produit
Double implication : Montrer \(P \Rightarrow Q\) et \(Q \Rightarrow P\) pour établir une équivalence.
Soit \(n\) impair, montrons que \(n^2\) est impair
Si \(n\) est impair, alors \(n = 2k + 1\) pour un certain entier \(k\)
\(n^2 = (2k + 1)^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1\)
Donc \(n^2\) est de la forme \(2m + 1\) avec \(m = 2k^2 + 2k\)
Donc \(n^2\) est impair
Donc \(P \Rightarrow Q\)
Soit \(n^2\) impair, montrons que \(n\) est impair
Démontrons la contraposée : si \(n\) est pair, alors \(n^2\) est pair
Si \(n\) est pair, alors \(n = 2k\) pour un certain entier \(k\)
\(n^2 = (2k)^2 = 4k^2 = 2(2k^2)\)
Donc \(n^2\) est pair
On a montré que \(n\) pair \(\Rightarrow n^2\) pair
Par contraposée : \(n^2\) impair \(\Rightarrow n\) impair
Donc \(Q \Rightarrow P\)
On a montré que \(P \Rightarrow Q\) et \(Q \Rightarrow P\)
Donc \(P \Leftrightarrow Q\)
"n est impair" est équivalent à "n² est impair"
Les deux propriétés sont simultanément nécessaires et suffisantes
Les deux propriétés sont équivalentes : \(n\) est impair si et seulement si \(n^2\) est impair.
• Contraposée : Pour montrer \(Q \Rightarrow P\), on peut montrer la contraposée \(\neg P \Rightarrow \neg Q\)
• Double implication : \(P \Leftrightarrow Q\) équivaut à \((P \Rightarrow Q) \wedge (Q \Rightarrow P)\)
• Structure : Un nombre impair au carré reste impair
Équivalence algébrique : Deux équations sont équivalentes si elles ont les mêmes solutions.
Soit \(x^2 - 5x + 6 = 0\), montrons que \(x = 2\) ou \(x = 3\)
Factorisons : \(x^2 - 5x + 6 = (x - 2)(x - 3)\)
Donc l'équation devient : \((x - 2)(x - 3) = 0\)
Un produit est nul si et seulement si un facteur est nul
Donc \(x - 2 = 0\) ou \(x - 3 = 0\)
Donc \(x = 2\) ou \(x = 3\)
Donc \(P \Rightarrow Q\)
Soit \(x = 2\) ou \(x = 3\), montrons que \(x^2 - 5x + 6 = 0\)
Si \(x = 2\) : \(x^2 - 5x + 6 = 4 - 10 + 6 = 0\) ✓
Si \(x = 3\) : \(x^2 - 5x + 6 = 9 - 15 + 6 = 0\) ✓
Donc dans les deux cas, \(x^2 - 5x + 6 = 0\)
Donc \(Q \Rightarrow P\)
On a montré que \(P \Rightarrow Q\) et \(Q \Rightarrow P\)
Donc \(P \Leftrightarrow Q\)
Pour \(x = 2\) : \(2^2 - 5(2) + 6 = 4 - 10 + 6 = 0\) ✓
Pour \(x = 3\) : \(3^2 - 5(3) + 6 = 9 - 15 + 6 = 0\) ✓
Les deux formulations sont logiquement équivalentes
Résoudre l'équation revient à trouver les valeurs spécifiées
Les deux propositions sont équivalentes : \(x^2 - 5x + 6 = 0 \Leftrightarrow x = 2 \text{ ou } x = 3\).
• Factorisation : Transformer l'équation pour utiliser le théorème du produit nul
• Équivalence algébrique : Deux équations sont équivalentes si elles ont les mêmes solutions
• Vérification : Toujours vérifier les solutions trouvées
- Preuve directe : Supposer P vraie et démontrer Q
- Contraposée : Supposer \(\neg Q\) et démontrer \(\neg P\)
- Réciproque : Supposer Q vraie et démontrer P
- Équivalence : Prouver \(P \Rightarrow Q\) et \(Q \Rightarrow P\)
- \(P \Rightarrow Q\) est vraie dans trois cas sur quatre
- La contraposée de \(P \Rightarrow Q\) est \(\neg Q \Rightarrow \neg P\)
- \(P \Leftrightarrow Q\) signifie que P et Q sont logiquement équivalentes
- Une condition nécessaire n'est pas toujours suffisante
