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


m (Remplacement de texte — « Catégorie:100 » par «  »)
m (Remplacement de texte — « <small> féminin </small> » par «  »)
(7 versions intermédiaires par le même utilisateur non affichées)
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 ==
'''  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 28 : Ligne 21 :


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


<small>
<small>
Ligne 33 : Ligne 27 :




[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''.]
[[Catégorie:GDT]]
[[Category:intelligence artificielle]]
[[Category:GRAND LEXIQUE FRANÇAIS]]

Version du 1 février 2021 à 21:19

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



Source: La Toupie Dictionnaire, Raisonnement déductif.