background

Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

démontrer prouiñ v.
logique ◊ prouver par démonstration
anglais : prove / demonstrate
démontrer directement prouiñ war-eeun v.
logique ◊ démontrer la proposition énoncée en partant directement des hypothèses données et en arrivant à la conclusion par une suite d'implications logiques
anglais : prove directly
démontrer par contradiction prouiñ dre dislavar v.
logique ◊ ou démontrer par l'absurde - supposer le contraire de la proposition énoncée et montrer qu'on aboutit alors à une contradiction (impossibilité)
anglais : prove by contradiction / prove ab absurdo
démontrer par contraposition prouiñ dre gontrapoziñ v.
logique ◊ démontrer par la contraposée : la contraposée de 'P implique Q' est 'non Q implique non P'
anglais : prove by contraposition
démontrer par équivalence prouiñ dre ekwivalañs v.
logique ◊ raisonner par équivalences
anglais : prove by equivalence
démontrer par induction prouiñ dre induktiñ v.
logique ◊ ou démontrer par récurrence
anglais : prove by induction
démontrer par l'absurde prouiñ ab absurdo v.
logique ◊ ou démontrer par contradiction - supposer le contraire de la proposition énoncée et montrer qu'on aboutit alors à une contradiction (impossibilité)
anglais : prove ab absurdo / prove by contradiction
démontrer par récurrence prouiñ dre rekurañs v.
logique ◊ ou démontrer par induction
anglais : prove by induction