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.

[[category:logic]]

[[category:logic]]