Se llama contrarrecíproco o contraposición a una ley lógica, formalizada en los silogismos por Aristóteles, que establece que la negación de un consecuente implica la negación de su antecedente.