background

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

KREIZENN AR GERIAOUIÑ

rezoniñ av. rezonerezh g. -ioù   raisonnement
logique ◊ suite de propositions liées entre elles aboutissant à une conclusion
en  reasoning
  • e rezonerezh a zo diaes da gompren
    son raisonnement est difficile à comprendre
  • luziet eo ar rezonerezh-mañ
    ce raisonnement est confus
rezoniñ v.   raisonner
logique ◊ se servir de sa raison pour juger, démontrer ; conduire un raisonnement
en  reason
rezoniñ ab absurdo v.   raisonner par l'absurde
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
rezoniñ dre dislavar v.   raisonner par l'absurde
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
rezoniñ dre emplikadur v.   raisonner par implication
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
rezoniñ dre gazioù v.   raisonner par disjonction de cas
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
rezoniñ dre gendalvoud v.   raisonner par équivalence
logique ◊ raisonner par double implication
en  use equivalence reasoning
rezoniñ dre gontrapozadur v.   raisonner par contraposition
logique ◊ utiliser l’équivalence entre l’assertion !!P implique Q!! et l’assertion !!non Q implique non P!!
en  use contraposition reasoning
rezoniñ dre gontrelskouer v.   raisonner par contre-exemple
logique ◊ montrer qu'une affirmation est fausse en lui trouvant un contre-exemple
en  use reasoning by counterexample
rezoniñ dre induktadur v.   raisonner par induction
logique ◊ étudier plusieurs exemples concordants dont on déduit, par présomption, une propriété générale
en  use inductive reasoning
rezoniñ dre rekurañs v.   raisonner par récurrence
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
rezoniñ dre zeduktadur v.   raisonner par déduction
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
rezoniñ faos v.   raisonner faux
logique ◊ raisonner de manière non logique
en  reason wrong
rezoniñ reizh v.   raisonner juste
logique ◊ raisonner de manière logique
en  reason correctly