
Re: SET THEORY and QUANTIFIER LOGIC are SUPERFLUOUS! You only need 1 or the other!
Posted:
Nov 22, 2012 4:20 PM


> > { x  xeBottles } C { x  xePrescription(S) } > > ALL(x):B prescription(B,S) > > prescription depends on S > > ALL(S) ( ALL(x):B p(B) ) > >  >
I messed this up, should be p(x).
I deliberately avoided working out ALL(X) ALL(Y) ..
as subset statements as there will be complications that I am not interested in working out yet.
Herc

