Is this an issue with the law of the excluded middle, or an issue with the proof? – math.stackexchange.com

Part of a proof requiring you to prove that if $x^2$ is odd then $x$ is odd (given that $x \in \mathbb{N}$). It is my understanding that the contrapositive is used for this as follows. $x=2n, n \in ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Artikel Terkait

0 Comment to "Is this an issue with the law of the excluded middle, or an issue with the proof? – math.stackexchange.com"