background

Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

prouiñ v. démontrer
logique ◊ prouver par démonstration
anglais : prove / demonstrate
prouiñ v. prouver
logique ◊ établir, de manière irréfutable
anglais : prove / demonstrate / show
prouiñ / prouidigezh av. 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
anglais : proof / demonstration
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é)
anglais : 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é)
anglais : prove by contradiction / prove ab absurdo
prouiñ dre ekwivalañs v. démontrer par équivalence
logique ◊ raisonner par équivalences
anglais : 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'
anglais : prove by contraposition
prouiñ dre induktiñ v. démontrer par induction
logique ◊ ou démontrer par récurrence
anglais : prove by induction
prouiñ dre rekurañs v. démontrer par récurrence
logique ◊ ou démontrer par induction
anglais : 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
anglais : prove directly