# Law of the Excluded Middle The **law of the excluded middle** is a principle in classical logic stating that for any proposition $P$, either $P$ is true, or its negation $\neg P$ is true. This means there is no “middle ground” between a proposition being true or false—every statement is either true or false, with no third option. --- Date: 20241212 Links to: Tags: References: * []()