Una sentencia es contrapositiva de otra solamente cuando su antecedente es la negación del consecuente de la otra, y viceversa.