En raisonnant par contraposée (prouver $\neg P \Rightarrow \neg H$ )

L'objectif

Démontrer une implication $H \Rightarrow P$ en établissant à la place sa contraposée $\neg P \Rightarrow \neg H$ .

Le principe

L'implication $H \Rightarrow P$ est logiquement équivalente à sa contraposée $\neg P \Rightarrow \neg H$ : prouver l'une revient à prouver l'autre.

La méthode

1
J'écris précisément la contraposée $\neg P \Rightarrow \neg H$ en niant séparément $P$ et $H$ .
Comment formuler la négation d'une proposition ?Voir
2
Je suppose $\neg P$ vraie et j'en déduis $\neg H$ par un raisonnement direct.
3
Je conclus : la contraposée étant prouvée, l'implication $H \Rightarrow P$ est établie.

Évalue la méthode

0/5 validés

Cherche chaque exercice au brouillon, puis coche “j'ai réussi” si tu as trouvé la bonne démarche. Utilise le bouton aide si tu as besoin d'un coup de pouce.

Application guidée 1

Soit $n \in \mathbb{Z}$ . Montrer par contraposée que si $n^2$ est pair, alors $n$ est pair.

Application guidée 2

Soient $x, y \in \mathbb{R}$ . Montrer par contraposée que si $xy \neq 0$ , alors $x \neq 0$ et $y \neq 0$ .

Application autonome 1

Soit $f : \mathbb{R} \to \mathbb{R}$ . Montrer par contraposée que si $f(a) \neq f(b)$ , alors $a \neq b$ .

Application autonome 2

Soit $n\in\mathbb{Z}$ . Montrer par contraposée que si $n^2$ est un multiple de $3$ , alors $n$ est un multiple de $3$ .

Application autonome 3

Soit $x\in\mathbb{R}$ . Montrer par contraposée que si $x^3\leq 0$ , alors $x\leq 0$ .

Connecte-toi pour cocher tes exercices réussis et sauvegarder ta progression.

En raisonnant par contraposée (prouver ¬P⇒¬H\neg P \Rightarrow \neg H¬P⇒¬H)

Évalue la méthode

En raisonnant par contraposée (prouver $\neg P \Rightarrow \neg H$ )