Law of the excluded middle
From Conservapedia
The law of the excluded middle is a principle in modern logic that means something is either true or it is false. There is no "middle" between true and false.
In classical logic, this principle for a proposition A would be A V ~A. Its opposite is dialetheism.
