在下列4个命题中,是真命题的序号为(  )