Dictionnaire breton des sciences et des techniques

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

• étant 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 » ha lennet « P ma hag hepken ma Q », eo ar bropozadenn nevez gwir ma hag hepken mac’h eo ar bikondisionel P ↔ Q un daotologiezh