下列4个命题中真命题的个数为(  )