将推理“向量m=(2,-3)和n=(3,2)互相垂直”恢复成完全三段论为