Si ce n'est pas encore fait, lisez « Puissance et misère » avant de lire la suite de cette page.
5. Contraposition
La contraposée d'une proposition de la forme « quand P est vrai, Q est vrai » est la proposition « quand Q est faux, P est faux ». D'un point de vue logique une proposition et sa contraposée sont équivalentes.
