Prouver que deux propositions PPP et QQQ sont logiquement équivalentes, c'est-à-dire P ⟺ QP \iff QP⟺Q.
Choisissez une approche :
En prouvant séparément les deux implications directes et réciproques
On démontre P ⟺ QP \iff QP⟺Q en établissant successivement P⇒QP \Rightarrow QP⇒Q puis Q⇒PQ \Rightarrow PQ⇒P.
En raisonnant par équivalences successives (chaîne de ⟺ \iff⟺)
On transforme la proposition de départ en une suite de propositions équivalentes jusqu'à obtenir la proposition cible.