一个命题和它的否定形式一定为一真一假么?