« Modus tollens » : différence entre les versions
m (Remplacement de texte — « locution » par « loc. ») |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==Définition== | ||
La loc. 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 loc. latine «modus tollens» signifie «méthode de négation». On parle aussi d'une règle d'inférence ou d'un syllogisme conditionnel. | La loc. 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 loc. 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== | ==Français== | ||
'''modus tollens''' loc. latine, masc | '''modus tollens''' <small>loc. latine, masc</small> | ||
| Ligne 19 : | Ligne 12 : | ||
[https://fr.wikipedia.org/wiki/Modus_tollens Source: wikipedia] | |||
[[Utilisateur:Claude COULOMBE | source : Claude Coulombe]] ([[Discussion utilisateur:Claude COULOMBE | discussion]]) | |||
[[ | [[Category:Intelligence artificielle]] | ||
[[Catégorie:Logique des propositions]] | |||
[[Catégorie:Raisonnement automatique]] | |||
[[Catégorie:ENGLISH]] | |||
[[Category:GRAND LEXIQUE FRANÇAIS]] | |||
Version du 7 mai 2020 à 13:38
Définition
La loc. 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 loc. 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 loc. latine, masc
Anglais
Modus tollens
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
