他或者是小偷或者不是小偷是（）命题。