Lexique

équivalence
• On dit que deux propositions P et Q sont équivalentes lorsque P implique Q et Q implique P.
• On dit aussi que Q (respectivement P) est une condition nécessaire et suffisante pour P (respectivement Q), ou que P est vraie si et seulement si Q est vraie.
Un nombre complexe z est réel si et seulement s'il est égal à son conjugué.
Ces deux propositions sont équivalentes. Cela signifie que, si le nombre complexe z est réel, alors z=\bar{z} et que si z=\bar{z}, alors le nombre complexe z est réel.