“两个角相等,一定是对顶角”是全称命题还是特称命题