background

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

KREIZENN AR GERIAOUIÑ

Geriadur Klok Klasket a-raok / Previous search simpl
Klasket a-raok / Previous search simpl
kendalvoud en-simpl ag.   équivalent (simplement)
mathématiques, logique ◊ ou logiquement équivalent
en  logically equivalent
  • Lavaret e vez ec’h eo kendalvoud en-simpl, pe kendalvoud en-lojikel, 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 simplement équivalentes ou logiquement équivalentes quand il est possible de déduire Q à partir de P et de déduire P à partir de Q.