Comment démontrer une… : En raisonnant par contraposée (prouver… — ECG1 appliquées | MetMat

Comment démontrer une proposition par contraposée ou par l'absurde ?

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

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

Que ferais-tu face à un exercice de ce type ?

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

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.

Pour comprendre, fais des exercices !

Exercice d'exemple

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

Étape 1 —

J'écris précisément la contraposée

\neg P \Rightarrow \neg H

en niant séparément

P

H

La contraposée de « $n^2$ pair $\Rightarrow$ $n$ pair » est : « $n$ impair $\Rightarrow$ $n^2$ impair ».

Étape 2 —

Je suppose

\neg P

vraie et j'en déduis

\neg H

par un raisonnement direct.

Je suppose $n$ impair : $n = 2k + 1$ avec $k \in \mathbb{Z}$ . Alors $n^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1$ , ce qui est impair.

Étape 3 —

Je conclus : la contraposée étant prouvée, l'implication

H \Rightarrow P

est établie.

La contraposée est établie, donc $n^2$ pair $\Rightarrow$ $n$ pair.

$\forall n \in \mathbb{Z}, \;n^2 \;\mathrm{pair} \Rightarrow n \;\mathrm{pair}$ .

Les applications suivantes et la correction guidée sont réservées aux membres Premium

La méthode et sa première application corrigée restent en accès libre. Le Premium débloque les applications suivantes, l'aide IA et le suivi de ta maîtrise.

Comment démontrer une proposition par contraposée ou par l'absurde ?

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

Pour comprendre, fais des exercices !

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