Implication - Contraposée - Négation Niveau : Moyen
On considère l'implication suivante :
Déterminer l'implication contraposée de $P(a,b)$.
Contraposée : $P'(a,b) : (a \neq -1 \text{ et } b \neq -1) \Rightarrow a + b + ab + 1 \neq 0$
(On utilise $\neg(A \text{ ou } B) \equiv \neg A \text{ et } \neg B$)
Déterminer la négation de $P(a,b)$.
Négation :
(On utilise $\neg(A \Rightarrow B) \equiv A \text{ et } \neg B$)
et $\neg(a = -1 \text{ ou } b = -1) \equiv a \neq -1 \text{ et } b \neq -1$
Montrer que $P(a,b)$ est une implication vraie.
Conclusion : L'implication $P(a,b)$ est vraie.
On considère l'implication suivante :
Écrire $P$ sans utiliser le connecteur $\Rightarrow$.
(On utilise $A \Rightarrow B \equiv \neg A \text{ ou } B$)
Déterminer la négation de $P$.
(On utilise $\neg(\forall) \equiv \exists$ et $\neg(A \Rightarrow B) \equiv A \text{ et } \neg B$)
Déterminer l'implication contraposée de $P$.
Déterminer la valeur de vérité de $P$.
Valeur de vérité : Vrai
Mais $y \in [1,+\infty[$ donc $y=1$ convient, donc $x=1$ et $y=1$.
Or la conclusion est $x=1$ et $y=2$, donc $P$ est fausse car $y=1$ est un contre-exemple.
Conclusion : $P$ est Fausse.