excluded middle


excluded middle

n (Logic) logic the principle that every proposition is either true or false, so that there is no third truth-value and no statements lack truth-value