当命题包含了假设时