The law of excluded middle says that for every proposition, either itself or its negation is true ().