Principe de la Contraposition
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
L'équivalence logique ou l'inférence valable qui relie une implication A → B à sa contraposée ¬B → ¬A, utilisée pour transformer ou justifier des arguments en niant et en inversant antécédent et conséquent.