Un coup de pouce ?
À partir de \(A \Rightarrow B\) (« Si \(A\), alors \(B\) ») :
- Réciproque
- \(B \Rightarrow A\)On échange l’hypothèse et la conclusion.
- Contraposée
- \(\text{non } B \Rightarrow \text{non } A\)On échange les deux propositions et on les nie.
- Négation
- \(A \text{ et non } B\)\(A\) est vraie et \(B\) est fausse.
La contraposée est équivalente à l’implication de départ. La réciproque ne l’est pas en général.