有以下四个命题,其中真命题的个数有(  )