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