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