La réciproque de « P → Q » est « Q → P ».

Ce n’est pas parce que P → Q que l’on a Q → P. Par exemple, l'implication « x = 2 → x² = 4 » est vraie alors que « x² = 4 → x = 2 » est fausse.