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