background

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

KREIZENN AR GERIAOUIÑ

prouiñ av. prouidigezh gw. -ioù   démonstration
logique ◊ raisonnement déductif destiné à établir la vérité d'une proposition à partir de prémisses considérées comme vraies
en  proof, demonstration
prouiñ v.   démontrer
logique ◊ prouver par démonstration
en  prove, demonstrate
  • prouiñ ec'h eo koñverjus un heuliad
    démontrer qu'une suite est convergente
  • prouiñ ez eo parallelek div eeunenn
    démontrer que deux droites sont parallèles
  • prouiñ ez eo kenskouer div eeunenn
    démontrer que deux droites sont perpendiculaires
prouiñ v.   prouver
logique ◊ établir, de manière irréfutable
en  prove, demonstrate, show
prouiñ ab absurdo v.   démontrer par l'absurde
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
prouiñ dre dislavar v.   démontrer par contradiction
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
prouiñ dre gendalvoud v.   démontrer par équivalence
logique ◊ raisonner par équivalences
en  prove by equivalence
prouiñ dre gontrapoziñ v.   démontrer par contraposition
logique ◊ démontrer par la contraposée : la contraposée de 'P implique Q' est 'non Q implique non P'
en  prove by contraposition
prouiñ dre induktiñ v.   démontrer par induction
logique ◊ ou démontrer par récurrence
en  prove by induction
prouiñ dre rekurañs v.   démontrer par récurrence
logique ◊ ou démontrer par induction
en  prove by induction
prouiñ war-eeun v.   démontrer directement
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