下列属于永真命题的是