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