怎样构造等价命题?