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.