"一个数不是合数就是质数"是不是命题?