3 ms·
Proving a negation is not a proof by contradiction, that's just the proof of an (absurd) implication. Logic people actually write blog posts about this: https:/
by perthmad 3y ago
Proving a negation is not a proof by contradiction, that's just the proof of an (absurd) implication. Logic people actually write blog posts about this: https://math.andrej.com/2010/03/29/proof-of-negation-and-proof-by-contradiction/ https://math.andrej.com/2010/03/29/proof-of-negation-and-pro...
- hnben 3y ago> I am discovering that mathematicians cannot tell the difference between “proof by contradiction” and “proof of negation”. I am glad to learn, that I just as dumb as the average mathematician lol. > Proving a negation is not a proof by contradiction did I say that it is, though?