« Modus tollens » : 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 9 : | Ligne 9 : | ||
[[Catégorie:Scotty2]] | [[Catégorie:Scotty2]] | ||
[[Category:GRAND LEXIQUE FRANÇAIS]] | [[Category:GRAND LEXIQUE FRANÇAIS]] | ||
==Définition== | ==Définition== | ||
| Ligne 15 : | Ligne 14 : | ||
==Français== | ==Français== | ||
'''modus tollens''' locution latine, masc | '''modus tollens''' locution latine, masc | ||
==Anglais== | ==Anglais== | ||
''' Modus tollens ''' | |||
Version du 15 juin 2019 à 21:21
Domaine
Intelligence artificielle
Logique des propositions
Raisonnement automatique
Définition
La locution latine modus tollens ou plus plus précisément modus tollendo tollens (du latin « procédé qui nie en niant ») désigne un raisonnement logique déductif classique qui part de l'implication «si A alors B», puis niant le conséquent «B» (non B) en déduit la négation de l'antécédent «non A». Rappelons que la locution latine «modus tollens» signifie «méthode de négation». On parle aussi d'une règle d'inférence ou d'un syllogisme conditionnel.
Français
modus tollens locution latine, masc
Anglais
Modus tollens
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
