Réciproque

Pour toute proposition \("P\) implique \(Q",\) on peut associer une application réciproque[1] \("Q\) implique \(P"\) où l'hypothèse de la première est devenue la conclusion de la seconde et la conclusion de la première est devenue l'hypothèse de la seconde.

Attention, comme vous le savez déjà l'une des propositions peut être vraie et l'autre fausse.