“正方形的对角线互相垂直”将命题改为如果……那么……的形式