excluded middle

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