11 lines
366 B
Markdown
11 lines
366 B
Markdown
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.*"
|
|
|