Excluded middle
Redirect to:
Law of excluded middle