David Marcus
Posts:
40
From:
Somerville, Massachusetts
Registered:
12/4/04
|
|
Re: I have found (for myself) the best formalized definition of A subset B
Posted:
Jan 28, 2007 1:19 AM
|
|
On Jan 28, 12:55 am, Logan Lee <10464...@uts.edu.au> wrote:
> Logan Lee <10464...@uts.edu.au> writes:
> > Logan Lee <10464...@uts.edu.au> writes:
>
> > > how about these? these come fromhttp://www.niu.edu/phil/~kapitan/Restricted%20Variables.pdf. I have assumed that the above two are equivalent and also equivalent to:
> > > A in B iff (forall x in A)(x in B)
> > Correction:
> > A in B iff (forall x in A)(x inB)
> I meant A subset B iff (forall x in A)(x in B)
This is not a sentence in first order logic.
> > > but this assumption may have been wrong.
|
|
