Établir que deux propositions $P$ et $Q$ sont logiquement équivalentes.
Choisissez une approche :
En prouvant séparément les deux implications réciproques
Démonstration d'une équivalence par double implication.
En enchaînant des équivalences successives
Démonstration d'une équivalence par transformations équivalentes successives.