Principle of excluded middle
Redirect to:
Law of excluded middle