• 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
et que si 
, alors le nombre complexe z est réel.
Ces deux propositions sont équivalentes. Cela signifie que, si le nombre complexe z est réel, alors
et que si , alors le nombre complexe z est réel.