« Modus tollens » : différence entre les versions

Version du 13 mai 2019 à 22:36

Domaine

Intelligence artificielle
Logique des propositions
Raisonnement automatique

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.

Français

modus tollens

Note: Locution latine.

Anglais

Modus tollens

Source: wikipedia

@@ Ligne 1 : / Ligne 1 : @@
 == Domaine ==
-[[Category:Vocabulary]]<br/>
 [[Category:Intelligence artificielle]]Intelligence artificielle<br/>
 [[Catégorie:Logique des propositions]]Logique des propositions<br/>
@@ Ligne 16 : / Ligne 14 : @@
 Note: Locution latine.
-Source:
-https://fr.wikipedia.org/wiki/Modus_tollens
 == Anglais ==
@@ Ligne 24 : / Ligne 19 : @@
 ''' Modus tollens '''
-n propositional logic, modus tollens[1][2][3][4] (or modus tollendo tollens and also denying the consequent)[5] (Latin for "the way that denies by denying")[6] is a valid argument form and a rule of inference. It is an application of the general truth that if a statement is true, then so is its contra-positive.
-The first to explicitly describe the argument form modus tollens were the Stoics.[7]
-The inference rule modus tollens validates the inference from P {\displaystyle P} P implies Q {\displaystyle Q} Q and the contradictory of Q {\displaystyle Q} Q to the contradictory of P {\displaystyle P} P.
+[https://fr.wikipedia.org/wiki/Modus_tollens   Source: wikipedia ]
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>