Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.

Topic: I have found(for myself) the best formalized definition of A subset B
Replies: 21   Last Post: Jun 9, 2012 10:59 AM

 Messages: [ Previous | Next ]
 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.

Date Subject Author
1/27/07 zolaman
1/27/07 David C. Ullrich
1/27/07 G. Frege
1/27/07 zolaman
1/28/07 David C. Ullrich
1/27/07 zolaman
1/27/07 zolaman
1/27/07 William Elliot
1/28/07 zolaman
1/28/07 David Marcus
6/9/12 G. Frege
6/9/12 William Elliot
1/28/07 William Elliot
1/27/07 G. Frege
1/27/07 zolaman
1/28/07 David Marcus
6/9/12 zolaman
6/9/12 zolaman
6/9/12 zolaman
1/28/07 David Marcus
1/28/07 David Marcus
6/9/12 G. Frege