excluded middle


noun

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