什么时候用对偶

对偶是一种逻辑方法，用于将一个命题通过否定主语和谓语的形式，转化成另一个命题。
因此，当我们需要将一个命题在形式上进行转化、排除歧义或简化表述时，可以使用对偶方法。
同时，在数学、逻辑等领域中，对偶也是一种重要的思想工具，常常被用于证明定理或解决问题。
因此，可以说对偶是一种十分实用的工具，在适当的场合下可以大大提高问题的处理效率和精度。