Proving things is fun, isn’t it? But FYI “proof by negation” is better known as the fallacy of excluded middle when applied outside a binary logical system lik

Proving things is fun, isn’t it? But FYI “proof by negation” is better known as the fallacy of excluded middle when applied outside a binary logical system like this.