假如一个图形是正方形，那它一定是四边形。这个假言命题是()。