On Apr 11, 8:17 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > On 11 Apr., 19:19, William Hughes <wpihug...@gmail.com> wrote: > > > > > > So you agree that B implies A. > > > yep, but A does not imply C: P(d_1,d_2,d_3..) > > That is your interpretation.
One you agree with, C: means that the collection has property P. A: mean that every element of the collection has property P. A does not imply C.
Now let P be (can remove the collection without changing the union of the remaining lines). We have there is no contradiction in saying A: for all n, the nth line can be removed.