真命题和假命题的定义