Implication - Contraposée - Négation Niveau : Moyen
On considère l'implication suivante :
Déterminer l'implication contraposée de $P(a,b)$.
(On utilise $\neg(A \text{ ou } B) \equiv \neg A \text{ et } \neg B$)
Déterminer la négation de $P(a,b)$.
(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$.
Conclusion : $P$ est Vraie.