cours/contraposée.md

title:: "la contraposée de P \implies Q est $(\text{non }Q) \implies (\text{non } P)$" #s/maths/logique

---

Soit une proposition A: x \implies y, la contraposée de A est y \implies x

[!example] Exemple La contraposée de "Si je gagne au Loto, alors j'ai joué au Loto" et "Si je n'ai pas joué au Loto, alors je ne gagne pas au Loto."