在PR剪辑好的视频如何导出的问题上，我们可以从以下几个方面进行讨论。

一、导出格式选择

在PR中，导出格式有很多种，如MP4、AVI、MOV等。在选择导出格式时，需要根据实际需求来选择。如果需要上传到视频或社交媒体上，建议选择MP4格式，因为这种格式的视频文件大小相对较小，同时还具有较好的兼容性。如果需要在电视或投影仪上播放，建议选择AVI或MOV格式，因为这些格式的视频质量更高，但文件大小相对较大。

二、导出设置

在PR中，导出设置也非常重要。在导出设置中，可以设置视频的分辨率、帧率、码率等参数。这些参数的设置直接影响到视频的质量和文件大小。一般来说，分辨率越高、帧率越快、码率越大，视频的质量就越好，但文件大小也会相应增加。因此，在设置导出参数时，需要根据实际需求来进行选择。

三、导出路径选择

在PR中，导出路径也是需要注意的。导出路径的选择需要根据实际需求来进行选择。如果需要将视频上传到视频或社交媒体上，建议将视频导出到本地硬盘中，然后再上传到视频或社交媒体上。如果需要将视频保存到移动硬盘或U盘中，建议选择移动硬盘或U盘作为导出路径。

四、导出速度

在PR中，导出速度也是需要注意的。导出速度的快慢直接影响到导出时间。如果导出速度较慢，导出时间就会相应增加。因此，在导出视频时，建议关闭其他程序，以提高导出速度。

总之，在PR剪辑好的视频如何导出的问题上，需要根据实际需求来选择导出格式、设置导出参数、选择导出路径和提高导出速度，以保证导出的视频质量和效率。