Math Forum http://mathforum.org/kb List of forum topics en Re: SET THEORY and QUANTIFIER LOGIC are SUPERFLUOUS! You only need 1<br> or the other! http://mathforum.org/kb/thread.jspa?messageID=7926868&tstart=0#7926868 >
> { x | xeBottles } C { x | xePrescription(S) }
>
> ALL(x):B  prescription(B,S)
>
>]]> Nov 22, 2012 4:20:54 PM Nov 22, 2012 4:20:54 PM grahamcooper7@gmail.com 0 Re: SET THEORY and QUANTIFIER LOGIC are SUPERFLUOUS! You only need 1<br> or the other! http://mathforum.org/kb/thread.jspa?messageID=7926867&tstart=0#7926867 wrote:
> On Nov 20, 4:09 am, Graham Cooper]]> Nov 22, 2012 4:17:55 PM Nov 22, 2012 4:17:55 PM grahamcooper7@gmail.com 0 Re: SET THEORY and QUANTIFIER LOGIC are SUPERFLUOUS! You only need 1<br> or the other! http://mathforum.org/kb/thread.jspa?messageID=7926866&tstart=0#7926866 > On Nov 20, 4:09 am, Graham Cooper]]> Nov 22, 2012 4:12:17 PM Nov 22, 2012 4:12:17 PM grahamcooper7@gmail.com 1 Re: SET THEORY and QUANTIFIER LOGIC are SUPERFLUOUS! You only need 1<br> or the other! http://mathforum.org/kb/thread.jspa?messageID=7926870&tstart=0#7926870 ]]> Nov 22, 2012 4:12:16 PM Nov 22, 2012 4:12:16 PM 2 Re: SET THEORY and QUANTIFIER LOGIC are SUPERFLUOUS! You only need 1<br> or the other! http://mathforum.org/kb/thread.jspa?messageID=7926849&tstart=0#7926849 > The notation in
>
> { x | p(x)]]> Nov 22, 2012 2:39:26 PM Nov 22, 2012 2:39:26 PM Dan_Christensen@sympatico.ca 1 Re: SET THEORY and QUANTIFIER LOGIC are SUPERFLUOUS! You only need 1or <br> the other! http://mathforum.org/kb/thread.jspa?messageID=7926112&tstart=0#7926112
>
> Also, Geometry = Algebra AFAIK. Lines, circles and other geometic
> shapes are]]> Nov 20, 2012 1:33:56 PM Nov 20, 2012 1:33:56 PM freddywilliams@btinternet.com 0 Re: SET THEORY and QUANTIFIER LOGIC are SUPERFLUOUS! You only need 1<br> or the other! http://mathforum.org/kb/thread.jspa?messageID=7926056&tstart=0#7926056 > The notation in
>
> { x | p(x)]]> Nov 20, 2012 10:59:26 AM Nov 20, 2012 10:59:26 AM shymathguy@gmail.com 1 Re: SET THEORY and QUANTIFIER LOGIC are SUPERFLUOUS! You only <br> need1 or the other! http://mathforum.org/kb/thread.jspa?messageID=7926012&tstart=0#7926012 >
> The notation in
>
> { x | p(x) }
>
> stands for ALL VALUES OF]]> Nov 20, 2012 9:07:37 AM Nov 20, 2012 9:07:37 AM freddywilliams@btinternet.com 0 SET THEORY and QUANTIFIER LOGIC are SUPERFLUOUS! You only need<br> 1 or the other! http://mathforum.org/kb/thread.jspa?messageID=7925961&tstart=0#7925961
{ x | p(x) }

stands for ALL VALUES OF x
that are satisfied in p(x)

This is the SAME 'ALL' as ALL(x)]]> Nov 20, 2012 4:09:51 AM Nov 20, 2012 4:09:51 AM grahamcooper7@gmail.com 8