« Raisonnement déductif » : différence entre les versions


m (Remplacement de texte — « Catégorie:100 » par «  »)
Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Ligne 1 : Ligne 1 :
[[Category:intelligence artificielle]]
[[Category:GRAND LEXIQUE FRANÇAIS]]
== Définition ==
== Définition ==
En logique, la méthode par laquelle on va d'une affirmation générale à une conclusion particulière. La déduction est constituée d'un enchaînement de propositions, d'axiomes ou d'inférences qui respectent des règles définies et sans recours à l'expérience. Si les prémisses sont vraies, alors la conclusion est nécessairement vraie. Le syllogisme en est l'une des formes les plus connues.
En logique, la méthode par laquelle on va d'une affirmation générale à une conclusion particulière. La déduction est constituée d'un enchaînement de propositions, d'axiomes ou d'inférences qui respectent des règles définies et sans recours à l'expérience. Si les prémisses sont vraies, alors la conclusion est nécessairement vraie. Le syllogisme en est l'une des formes les plus connues.


On l'oppose généralement au '''[[raisonnement inductif]]''', qui consiste au contraire à extraire d'un nombre fini de propositions données par l'observation, une conclusion ou un petit nombre de conclusions plus générales.
On l'oppose généralement au '''[[raisonnement inductif]]''', qui consiste au contraire à extraire d'un nombre fini de propositions données par l'observation, une conclusion ou un petit nombre de conclusions plus générales.


== Français ==
== Français ==
Ligne 28 : Ligne 22 :


''' deductive inference '''
''' deductive inference '''


<small>
<small>




[http://www.toupie.org/Dictionnaire/Deduction.htm  Source: La Toupie Dictionnaire, ''Raisonnement déductif''.]




[http://www.toupie.org/Dictionnaire/Deduction.htm  Source: La Toupie Dictionnaire, ''Raisonnement déductif''.]
[[Category:intelligence artificielle]]
[[Category:GRAND LEXIQUE FRANÇAIS]]

Version du 6 mai 2020 à 22:44

Définition

En logique, la méthode par laquelle on va d'une affirmation générale à une conclusion particulière. La déduction est constituée d'un enchaînement de propositions, d'axiomes ou d'inférences qui respectent des règles définies et sans recours à l'expérience. Si les prémisses sont vraies, alors la conclusion est nécessairement vraie. Le syllogisme en est l'une des formes les plus connues.

On l'oppose généralement au raisonnement inductif, qui consiste au contraire à extraire d'un nombre fini de propositions données par l'observation, une conclusion ou un petit nombre de conclusions plus générales.

Français

raisonnement déductif loc. nom. masc.

raisonnement par déduction loc. nom. masc.

déduction loc. nom. fém.

inférence déductive loc. nom. masc.


Anglais

deductive reasoning

deduction reasoning

deduction

deductive inference



Source: La Toupie Dictionnaire, Raisonnement déductif.