Modus Tollens
Natural & Formal Sciences Dictionary
Définition
Règle d'inférence : à partir de « Si P alors Q » (P → Q) et de « non Q » (¬Q), inférer « non P » (¬P). C'est la manière standard de rejeter un antécédent par l'échec d'un conséquent.
Modus Tollens
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Une règle d'inférence valable qui permet d'inférer ¬A à partir des prémisses A → B et ¬B ; souvent formulée «si A alors B ; non-B ; donc non-A».