law of excluded middle

law of excluded middle