1. Concernant la démonstration par contraposée d’une implication :
La réciproque $$Q \Rightarrow P$$ n’est pas nécessairement équivalente à $$P \Rightarrow Q$$. · La contraposée de $$P \Rightarrow Q$$ est logiquement équivalente à cette implication. · Pour établir $$P \Rightarrow Q$$, on peut démontrer $$\neg Q \Rightarrow \neg P$$.
Explication
La contraposée est et elle est équivalente à l’implication initiale. La réciproque est et n’est pas nécessairement équivalente ; est la contraposée de la réciproque.