# contraposition

## Français

### Étymologie

    Mot dérivé de position, avec le préfixe contra-.

### Nom commun

contraposition \kɔ̃.tʁa.po.zi.sjɔ̃\ féminin

* (Logique) Raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en déduire la négation de l'antécédent (« donc non A »).
   * C’est ce qu’on appelle, en logique mathématique, une contraposition. À titre d’illustration, disons que si vous avez beaucoup d’affaires (P), vous avez besoin d’une grande valise (S). Il n’en découle pas que si un un voyageur a une grande valise, il transporte en réalité beaucoup de choses. En revanche, cela signifie que si la valise n’est pas grande, il ne peut pas avoir emporté beaucoup de choses. En d’autres termes, « non S » prouve « non P ». — (George G. Szpiro, La conjecture de Poincaré, Points, 2007, page 186)

**Synonymes**

* modus tollens

**Antonymes**

* modus ponens

**Apparentés étymologiques**

* contraposée

**Traductions**

* Anglais : contraposition (en)
* Portugais : contraposição (pt) féminin

### Anagrammes

* pronostication
