给出下列4个命题: