# law of excluded middle

1. (logic) A principle of classical logic which states all statements must be either true or false, i.e. in symbols: ${\displaystyle P\vee \neg P}$.