已知有四个命题,其中正确的个数有几个?