« Raisonnement déductif » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (15 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
== 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 | 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 == | ||
''' raisonnement déductif''' | ''' raisonnement déductif''' | ||
''' raisonnement par déduction''' | ''' raisonnement par déduction''' | ||
''' déduction''' | ''' déduction''' | ||
''' inférence déductive''' | |||
== Anglais == | == Anglais == | ||
| Ligne 30 : | Ligne 22 : | ||
''' deductive inference ''' | ''' deductive inference ''' | ||
==Sources== | |||
[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''.] | ||
{{Modèle:GDT}} | |||
[[Catégorie:GDT]] | |||
[[Category:intelligence artificielle]] | |||
[[Category:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 28 janvier 2024 à 11:51
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
raisonnement par déduction
déduction
inférence déductive
Anglais
deductive reasoning
deduction reasoning
deduction
deductive inference
Sources
Contributeurs: Jacques Barolet, wiki, Robert Meloche
