Logique, démonstration et algorithmique
Au programme de Seconde
Deux propositions sont équivalentes lorsque chacune implique l’autre : elles sont vraies exactement dans les mêmes cas.
Notation : \(A \Longleftrightarrow B\).
En clair
C’est « si et seulement si » : les deux affirmations disent la même chose.
Ce qu’il faut retenir
- \(A \Longleftrightarrow B\) signifie \(A \Longrightarrow B\) et \(B \Longrightarrow A\).
- Les caractérisations (« un quadrilatère est un parallélogramme si et seulement si… ») sont des équivalences.
- Résoudre une équation revient à écrire une suite d’équivalences.
- Un passage au carré n’est pas une équivalence : il peut créer des solutions supplémentaires.
Exemple
\(2x – 6 = 0 \Longleftrightarrow 2x = 6 \Longleftrightarrow x = 3\) : chaque étape est réversible, donc l’ensemble des solutions est conservé.
À ne pas confondre avec
- Implication — l’implication ne fonctionne que dans un sens.
Réviser cette notion sur Mathovore
- Synthèse de coursIntervalles, inéquations et tableaux de signes
- Synthèse de coursSecond degré
- Cours completFonctions polynômes du second degré : cours de maths en 2de en PDF
- Exercices corrigésExercices de maths corrigés en 2de
- QCM en ligneFonctions polynômes du second degré : QCM de maths en 2de pour réviser son cours
Termes liés
Implication
Réciproque
Contraposée
Résoudre une équation
Équation
Disjonction de cas
Fonction (en programmation)
Affectation
Algorithme
Boucle


