« Modus tollens » : différence entre les versions


m (Remplacement de texte — « locution » par « loc. »)
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(4 versions intermédiaires par le même utilisateur non affichées)
Ligne 1 : Ligne 1 :
[[Category:Intelligence artificielle]]
[[Catégorie:Logique des propositions]]
[[Catégorie:Raisonnement automatique]]
[[Catégorie:ENGLISH]]
[[Category:GRAND LEXIQUE FRANÇAIS]]
==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>locution latine </small>


   
   
Ligne 16 : Ligne 9 :
''' Modus tollens '''
''' Modus tollens '''


<small>


==Sources==




[https://fr.wikipedia.org/wiki/Modus_tollens Source: wikipedia]
[https://fr.wikipedia.org/wiki/Modus_tollens Source: wikipedia]


[[Utilisateur:Claude COULOMBE | source : Claude Coulombe]]           ([[Discussion utilisateur:Claude COULOMBE | discussion]])
[[Utilisateur:Claude COULOMBE | source : Claude Coulombe]]   ([[Discussion utilisateur:Claude COULOMBE | discussion]])
 
 
 
[[Catégorie:ENGLISH]]
[[Category:GRAND LEXIQUE FRANÇAIS]]

Dernière version du 28 janvier 2024 à 09:54

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 locution latine


Anglais

Modus tollens


Sources

Source: wikipedia

source : Claude Coulombe ( discussion)