exclusive proposition

[ریاضیات] قضیه ی مفید حصر