Date: Apr 11, 2013 5:52 PM
Author: William Hughes
Subject: Re: Matheology § 238
On Apr 11, 9:51 pm, WM <mueck...@rz.fh-augsburg.de> wrote:

> On 11 Apr., 20:52, William Hughes <wpihug...@gmail.com> wrote:

>

> > 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,

>

> Not at all!

Yep, you have agreed that saying something is true for

every element of a collection does not imply that it

is true for the collection.

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

because A does not imply C and only C is a contraction.