前一个命题，等价于后一个。 后一个看起来好像更熟悉一点。