A recíproca é uma relação de implicação.