MetMat

Comment démontrer une équivalence ?

En prouvant séparément les deux implications réciproques

L'objectif

Prouver PQP \Leftrightarrow Q en établissant PQP \Rightarrow Q puis QPQ \Rightarrow P.

Le principe

Par définition, PQP \Leftrightarrow Q équivaut à la conjonction (PQ)(P \Rightarrow Q) et (QP)(Q \Rightarrow P) ; il suffit donc de démontrer les deux implications réciproques.

La méthode
  1. 1
    Je sépare la preuve en deux parties : sens direct (PQP \Rightarrow Q) et sens réciproque (QPQ \Rightarrow P).
  2. 2
    Je démontre l'implication directe : je suppose PP et j'en déduis QQ.
  3. 3
    Je démontre l'implication réciproque : je suppose QQ et j'en déduis PP.
  4. 4
    Je conclus que PQP \Leftrightarrow Q.

Exemple corrigé

Difficulté croissante de 1 à 3

Exercices aujourd'hui0 / 3

Prêt à t'entraîner ?

Génère un exercice personnalisé sur cette méthode et entraîne-toi avec la correction IA.