law of excluded middle

[ریاضیات] قانون طرد شق ثالث، قانون طرد واسطه