一个特定的命题,它的真值不是真就是假