Changes

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.

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.

In classical logic, this principle for a proposition A would be A V ~A. Its opposite is dialetheism.

==See Also==

==See Also==

*[[Law of Non-Contradiction]]

*[[Law of Non-Contradiction]]

[[category:logic]]

[[category:logic]]