请解释一下逻辑里的对换句是什么意思?