Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
On Generalizing the Natural Numbers
Replies:
5
Last Post:
Dec 2, 2012 4:27 PM




Re: On Generalizing the Natural Numbers
Posted:
Dec 2, 2012 2:46 PM


On Dec 3, 5:33 am, CharlieBoo <shymath...@gmail.com> wrote: > > numbers when added to 4 are less than 10? > > > Herc > > (eA)ADD(4,x,A) ^ LT(A,10) >
But this isn't a set unless you are using EXIST to add syntactic sugar.
R(I,x) <=> { x  R(I,x) }
And you're swapping between = with sets of answers (or intersection) and ^ in predicate format.
How do you write using {} format  the set of numbers when added to 4 are less than 10.
You can't combine your 2 formatting methods to do this.
Herc



