principle of excluded middle the principle that the disjunction of any (significant) statement with its negation is always true; e.g., ‘Either there is a tree over 500 feet tall or it is not the case that there is such a tree’. The principle is often confused with the principle of bivalence. See also PRINCIPLE OF BIVALENCE. R.P.