background

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

KREIZENN AR GERIAOUIÑ

raisonner   rezoniñ v.
logique ◊ se servir de sa raison pour juger, démontrer ; conduire un raisonnement
en  reason
raisonner faux   rezoniñ faos v.
logique ◊ raisonner de manière non logique
en  reason wrong
raisonner juste   rezoniñ reizh v.
logique ◊ raisonner de manière logique
en  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!!
en  use contraposition reasoning
raisonner par contre-exemple   rezoniñ dre gontrelskouer v.
logique ◊ montrer qu'une affirmation est fausse en lui trouvant un contre-exemple
en  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
en  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
en  use reasoning by cases
raisonner par équivalence   rezoniñ dre gendalvoud v.
logique ◊ raisonner par double implication
en  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
en  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
en  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
en  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
en  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
en  reason by recurrence