Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

mathématiques, informatique, logique ◊ ou équivalence logique - relation entre deux propositions P et Q, notée « P ⇔ Q » ou « P si et seulement si Q »

• Etant donné deux propositions P et Q, l’identité de P et Q, notée « P ⇔ Q » lue « P si et seulement si Q », est la nouvelle proposition qui est vraie si et seulement si la biconditionnelle P ↔ Q est une tautologie.
  Bezet div bropozadenn P ha Q, identegezh lojikel P ha Q, notet « P ⇔ Q » lennet « P ma hag hepken ma Q », eo ar bropozadenn nevez gwir ma hag hepken mac’h eo un daotologiezh ar bikondisionel P ↔ Q.