Dictionnaire breton des sciences et des techniques

mathématiques , logique ◊ ou logiquement équivalent

• lavaret e vez ec’h eo kendalvoud en-lojikel, pe kendalvoud en-simpl, div bropozadenn P ha Q pac’h eo posubl deduktiñ Q eus P ha deduktiñ P eus Q
  deux propositions P et Q sont dites logiquement équivalentes ou simplement équivalentes quand il est possible de déduire Q à partir de P et de déduire P à partir de Q