law of excluded middle noun1 •A logical principle which states all statements must be either true or false, i.e. in symbols: P∨¬P.
