You prove for every n in |N: d_1, d_2, ..., d_n differs from the first n entries of the list. You conclude for all n: d_1, d_2, ... differs from all terms of the list. With the same "logic" you could prove: For every n in |N: d_1, d_2, ..., d_n is in the remaining part of the (rationals-complete) list and conclude for all n: d_1, d_2, ... is in the remaining part of the list.
Same quantifier confusion.
Or For every n in |N: d_1, d_2, ..., d_n is rational conclusion for all n: d_1, d_2, ... is rational.
Tell me where this logical structure differs in my three examples. You answer that the contents has to be considered first? Then you do not use logic but interpretation and arbitrariness.
End WM Except.
I will be more than happy to tell you exactly where logical structure differs. However, only for the first two. The third is Equivalent to the second.
I've written it in very simple terms, so that anyone can easily follow. This post is not meant to be condescending, except to those who deserve it.
The best best way show that two Conjectures are of the same Logical Structure is to show that the proofs of the two Conjectures process in the same manner. So that what I will do, prove the Conjectures. Or will I?
Alright then. Let's Prove some Conjectures!
Remember, before we write a Proof, we must first formalize the statement. This allows to understand clearly what the Natural Language statement actually means.
Case I: (assume) for every n in |N: d_1, d_2, ..., d_n differs from the first n entries of the list.
conclude for all n: d_1, d_2, ... differs from all terms of the list.
Writing the Premise formally, we obtain
A( n, m e N ) ( m <= n --> FIS( d_n ) ~= l_m ).
For Any Natural Numbers n and m, if m <= n ( if m is one of the first n entries of the list ) then the FIS of length n of d is Not equal the m-th line.
Now, the conclusion is a little trickier. I interpret "for all n: d_1, d_2, ..." To mean "the full decimal sequence of d" or just simply d.
Actually, it wasn't that tricky. It was just written weird.
So, the conclusion is simply that d differs from all terms of the list. Or, formally,
A( n e N )( d ~= l_n ).
This is a Universal Statement, and we proceed Directly.
Assume the Premise. We then choose an arbitrary k e N, substitute k for both n and m in the assumed premise. Obtaining
A( k e N )( k <= k --> FIS( d_k ) ~= l_k ).
Indeed k <= k, so we arrive at the conclusion that FIS( d_k ) ~= l_k. This is a Sufficient Condition to conclude that d ~= l_k.
For the slow kids: If a line is Not equal to a FIS of some Number, then it couldn't possible be equal to the full decimal expansion of that number.
Now, since k was chosen arbitrarily, we find that For All, Each, and Every line of the list d is Not equal to that line.
(assume) For every n in |N: d_1, d_2, ..., d_n is in the remaining part of the (rationals-complete) list
conclude for all n: d_1, d_2, ... is in the remaining part of the list.
Here the premise say that for any natural number, there is line in the (rations-complete) list equal to the FIS of length n of d. Formally,
A( n e N )( E( m e N )( FIS( d_n ) = l_m ) ).
The conclusion states some line equals the diagonal.
E( n e N )( d = l_n ).
Now, do you still wish to say that the two set of statements possess the same Logic Structure?
The conclusion of the First Set of Statements is Universal, whereas that of the Second is Existential.
Basically, it boils down to that if you say, "It is Not equal to Any." is actually saying "All are Not equal to It.".
The Second Conclusion says "There is Some ( at least one ) equal to It.". You disguise it by starting the Natural Language sentence with "For All".
Now, onto a "Proof" of the Second Conclusion.
Since this is an Existential Statement, we have two options.
1. Construct a line, l_n, such that the d = l_n is satisfied.
2. Use a proof by Contradiction. That is, we assume that For Every line, d is Not equal to that line and derive a Contradiction.
So, Dear Professor, could you please explain how either one of these "Proofs" would continue to the desired Result?
Now, please tell me whose Methods the Quantifier Confusion resides in?