Talk:Division Theorem/Proof 1

From ProofWiki
Jump to navigation Jump to search

Prime.mover, although I was able to figure out what the syntax intended, it is by no means perfectly good. $x = y+2, y \in \Z$ (or whatever) is really not a substitute for $\exists y \in \Z: x = y + 2$. --Dfeuer (talk) 05:16, 10 April 2013 (UTC)

It's good enough. --prime mover (talk) 05:24, 10 April 2013 (UTC)
Perhaps you should review your logic texts. You've clearly been doing too much propositional logic and forgotten the function of quantifiers. --Dfeuer (talk) 08:35, 10 April 2013 (UTC)
It's perfectly good enough. --prime mover (talk) 20:38, 10 April 2013 (UTC)
We should strive to make the proofs as clear as possible. Barely understandable is not the same thing. --Dfeuer (talk) 20:45, 10 April 2013 (UTC)
Compromise. --prime mover (talk) 07:46, 11 April 2013 (UTC)