In logic, the law of excluded middle (or the principle of excluded middle) is the third of the three classic laws of thought. It states that for any proposition, either that proposition is true, or its negation is true.
The law is also known as the law (or principle) of the excluded third, in Latin principium tertii exclusi. Another Latin designation for this law is tertium non datur: "no third (possibility) is given".
The earliest known formulation is Aristotle's principle of non-contradiction, first proposed in On Interpretation, where he says that of two contradictory propositions (i.e. where...