Parmi les propositions suivantes, laquelle décrit le mieux quand l'opérateur biconditionnel (↔) retourne vrai ?