background

Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

raisonner rezoniñ v.
logique ◊ se servir de sa raison pour juger, démontrer conduire un raisonnement
anglais : reason
raisonner faux rezoniñ faos v.
logique
anglais : reason wrong
raisonner juste rezoniñ reizh v.
logique
anglais : reason correctly
raisonner par contraposition rezoniñ dre gontrapozadur v.
logique ◊ utiliser l’équivalence entre l’assertion !!P implique Q!! et l’assertion !!non Q implique non P!!
anglais : use contraposition reasoning
raisonner par contre-exemple rezoniñ dre gontrelskouer v.
logique ◊ montrer qu'une affirmation est fausse en lui trouvant un contre-exemple
anglais : use reasoning by counterexample
raisonner par déduction rezoniñ dre zeduktadur v.
logique ◊ partir d'une idée générale, d'un principe, d'une loi pour en tirer une conséquence particulière
anglais : use deductive reasoning
raisonner par disjonction de cas rezoniñ dre gazioù v.
logique ◊ vérifier une assertion P(x) pour tous les x dans un ensemble E en partitionnant E et en montrant l’assertion pour les x dans chacune des partitions de E
anglais : use reasoning by cases
raisonner par équivalence rezoniñ dre ekwivalañs v.
logique ◊ raisonner par double implication
anglais : use equivalence reasoning
raisonner par implication rezoniñ dre emplikadur v.
logique ◊ montrer l'implication !!P implique Q!! en supposant que P est vrai et en démontrant que Q est vrai
anglais : use implication reasoning
raisonner par induction rezoniñ dre induktadur v.
logique ◊ étudier plusieurs exemples concordants dont on déduit, par présomption, une propriété générale
anglais : use inductive reasoning
raisonner par l'absurde rezoniñ dre dislavar v.
logique ◊ montrer l'implication !!P implique Q!! en supposant que P est vrai, que Q est faux, et en montrant que cela aboutit à une contradiction
anglais : reason ab absurdo
raisonner par l'absurde rezoniñ ab absurdo v.
logique ◊ montrer l'implication !!P implique Q!! en supposant que P est vrai, que Q est faux, et en montrant que cela aboutit à une contradiction
anglais : reason ab absurdo
raisonner par récurrence rezoniñ dre rekurañs v.
logique ◊ étendre à tous les termes d'une série une relation donnée vérifiée pour les deux premiers termes
anglais : reason by recurrence