excluded middle

The "excluded middle" is a principle in logic that states that a statement or proposition must either be true or false, without any middle ground or possibility for ambiguity or uncertainty.

Requires login.