这道题咋做正方形的对边相等是命题吗