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


Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Ligne 1 : Ligne 1 :


[[Category:intelligence artificielle]]
[[Category:intelligence artificielle]]
[[Category:GDT]]<br />
<!--GDT-->
[[Category:GRAND LEXIQUE FRANÇAIS]]
[[Category:GRAND LEXIQUE FRANÇAIS]]
[https://www.oqlf.gouv.qc.ca/ressources/bibliotheque/dictionnaires/vocabulaire-intelligence-artificielle.aspx  Voir définition dans le Grand dictionnaire terminologique  ]


<!--
== Définition ==
== Définition ==
Raisonnement qui consiste à mettre en rapport plusieurs propositions initiales pour aboutir à une conclusion logique.  
 
-->
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 à l''''induction''', 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  n. m. '''
'''  raisonnement déductif'''   <small>loc. nom. masc.</small>


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


'''  déduction  n. f.'''
'''  déduction'''   n. f.


'''  inférence déductive  n. f.'''
'''  inférence déductive  n. f.'''

Version du 10 août 2019 à 15:25


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 à l'induction, 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 n. f.

inférence déductive n. f.

Anglais

deductive reasoning

deduction reasoning

deduction

deduction inference

deductive inference


Source: Grand Dictionnaire Terminologique