Last modified on July 13, 2016, at 15:12

Law of the excluded middle

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.

See also