En logique, la non-implication réciproque est un connecteur logique qui est la négation de la réciproque de l'implication.