Now this just depends on what we mean by "disagree." Of course I can't dispute a formal logical derivation. The math, of course, is sound.
Disagreeing with an implication "if P, then Q" doesn't mean disagreeing with P.
All I disagree with X, which means either that I don't agree that Q implies X, or I don't accept P.
I'm not questioning mathematical truth. All I'm questioning is what TimS said.
But if we agree it was just a misunderstanding, can we move on? Or not. This also doesn't seem to be going anywhere, especially if we've decided we fundamentally disagree. (Which in and of itself is not grounds for a downvote, may I remind you all.)
I didn't downvote you because we disagree, I downvoted you because you conflated disagreeing with the applicability of a mathematical fact to a situation with disagreeing with a mathematical fact. Previously I downvoted you because you tried to argue against two positions I never claimed to hold.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.