下列是真命题的有