Si P ⇒ Q est une implication, l’implication Q ⇒ P s’appelle l’implication « réciproque ».
— (29/10/2014), http://gilles.dubois10.free.fr/Bases/Logique/implication.html