下列四个命题中正确的是( )