命题的正确性是什么