But FYI “proof by negation” is better known as the fallacy of excluded middle when applied outside a binary logical system like this.