« Modus tollens » : différence entre les versions

Version du 22 mai 2019 à 18:59

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

Source: wikipedia

Source: Claude Coulombe, Datafranca.org

@@ Ligne 1 : / Ligne 1 : @@
-== Domaine ==
+==Domaine==
-[[Category:Intelligence artificielle]]Intelligence artificielle<br/>
+[[Category:Intelligence artificielle]]
-[[Catégorie:Logique des propositions]]Logique des propositions<br/>
+Intelligence artificielle<br />
-[[Catégorie:Raisonnement automatique]]Raisonnement automatique<br/>
+[[Catégorie:Logique des propositions]]
-[[Category:Coulombe]]<br/>
+Logique des propositions<br />
-[[Catégorie:Scotty]]<br/>
+[[Catégorie:Raisonnement automatique]]
+Raisonnement automatique<br />
+[[Category:Coulombe]]
+<br />
+[[Catégorie:Scotty]]
+<br />
-== Définition ==
+==Définition==
-La locution latine «modus tollens» ou plus plus précisément «modus tollendo tollens» 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.
+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 ==
+==Français==
-'''modus tollens'''
+'''modus tollens'''  locution latine, masc
-Note: Locution latine.
-== Anglais ==
+==Anglais==
 ''' Modus tollens '''
-[https://fr.wikipedia.org/wiki/Modus_tollens   Source: wikipedia ]
+[https://fr.wikipedia.org/wiki/Modus_tollens Source: wikipedia]
+Source: Claude Coulombe, Datafranca.org