excluded middle

noun

1. 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