In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> Am Mittwoch, 4. Dezember 2013 10:13:59 UTC+1 schrieb Zeit Geist: > > > > Now, do you still wish to say that the two set of statements possess the > > same Logic Structure? > > > > Yes. > Forall n in |N:Forall n in |N: d_1, d_2, ..., d_n has property P > ==> d_1, d_2, d_3 ... has property P > has certainly of the same logical structure. > > Regards, WM They do not have the same grammatical structure, and neither is grammaticaly correct, so there is no way to tell whether they are logically correct or equivalent.
"Forall n in |N: d_1, d_2, ..., d_n has property P" in correct English would read: "For all n in |N, d_n has property P" and it requires that ALL such d_n have property P. --