In logic, the law of excluded middle or the principle of excluded middle states that for every proposition, either this proposition or its negation is true. Wikipedia