law (或 principle) of the excluded middle

(Logic)the principle that one (and one only) of two contradictory propositions must be true

(逻)排中律