下列命题中是真命题的有( )个