También es llamado por Aristóteles razonamiento recíproco y demostración en círculo.