background

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

KREIZENN AR GERIAOUIÑ

démontrer   prouiñ v.
logique ◊ prouver par démonstration
en  prove, demonstrate
  • démontrer qu'une suite est convergente
    prouiñ ec'h eo koñverjus un heuliad
  • démontrer que deux droites sont parallèles
    prouiñ ez eo parallelek div eeunenn
  • démontrer que deux droites sont perpendiculaires
    prouiñ ez eo kenskouer div eeunenn
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
en  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é)
en  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'
en  prove by contraposition
démontrer par équivalence   prouiñ dre gendalvoud v.
logique ◊ raisonner par équivalences
en  prove by equivalence
démontrer par induction   prouiñ dre induktiñ v.
logique ◊ ou démontrer par récurrence
en  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é)
en  prove ab absurdo, prove by contradiction
démontrer par récurrence   prouiñ dre rekurañs v.
logique ◊ ou démontrer par induction
en  prove by induction