« Modus tollens » : différence entre les versions


(Page créée avec « == Domaine == Category:Vocabulary == Définition == == Termes privilégiés == == Anglais == === Modus tollens === n propositional logic, modus toll... »)
 
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(19 versions intermédiaires par 3 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
==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'''  <small>locution latine </small>


== Domaine ==
[[Category:Vocabulary]]
   
   
== Définition ==
==Anglais==
''' Modus tollens '''




==Sources==


== Termes privilégiés ==


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


=== Modus tollens ===
[[Utilisateur:Claude COULOMBE | source : Claude Coulombe]]    ([[Discussion utilisateur:Claude COULOMBE | discussion]])


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.
[[Catégorie:ENGLISH]]
<br/>
[[Category:GRAND LEXIQUE FRANÇAIS]]
<br/>
<br/>
<br/>
<br/>
<br/>
<br/>

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)

Récupérée de « https://datafranca.org/wiki/index.php?title=Modus_tollens&oldid=90126 »

Contributeurs: Claude Coulombe, Jacques Barolet, wiki