« 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== »)
 
(12 versions intermédiaires par le même utilisateur non affichées)
Ligne 1 : Ligne 1 :
[[Category:intelligence artificielle]]
<!--GDT-->
[[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 ==
'''  raisonnement déductif'''  <small>loc. nom. masc.</small>
'''  raisonnement déductif'''   
 
''' raisonnement par déduction'''  <small>loc. nom. masc.</small>


''' déduction''' <small>loc. nom. fém.</small>
''' raisonnement par déduction'''  


'''  inférence déductive''' <small>loc. nom. masc.</small>
'''  déduction'''  


'''  inférence déductive''' 


== Anglais ==
== Anglais ==
Ligne 29 : Ligne 22 :
''' deductive inference '''
''' deductive inference '''


<small>


==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

Source: La Toupie Dictionnaire, Raisonnement déductif.