>>> John Boone on Fuzzy Logic 
 JB> I am sure it does, but unable to find out how.  I do use 
 JB> DOS "edit" which can allow me to save something to another 
 JB> file, but it destroys my response packet for some reason. 
 JB> Perhaps, it is something I am doing wrong.  I haven't 
 JB> taken the time to "figure it out." 
Guess:  put the save file into a different directory than the off line 
software's work directories.
 WE> The property B of blueness and the set B' of blue things are related 
 WE> by (x)(B(x) = x e B').  For all x, x is blue if and only if x  
 JB> In "(x) (B(x)", why the third "(?"  Typo? 
Nope, vital syntax.  (x)B(x) = x e B' could be rendered 'everything is blue 
iff (if and only if) it is a blue thing.  What the (...) do is render the 
statement for all x (x is blue iff x is a blue thing).
In the statement (x)B(x), 'for all x, x is blue' the variable x is considered 
bound.  In the statement B(x), x is consider a free variable.  (y)B(y) has 
the same meaning as (x)B(x) while B(y), 'y is blue' is different than B(x), 
'x is blue'.  This is basic quantifier calculus syntax.  The same syntax is 
used in calculus.  
Use I for integral.  Then I f(x)dx = I f(y)dy.  Also df(x)/dx = df(y)/dy.  
But you cannot assert f(x) = f(y) straight out.  The x in I f(x)dx is called 
a dummy variable as it could be any other variable.  The y in f(y) is not a 
dummy variable.
Confusion of variables occurs in I f(x,t)dx = I f(t,t)dt, this is not so.  
Yet I f(x,t)dx = I f(y,t)dy.  I f(x,t)dt = I f(y,t)dt is not so.  Confusion 
of variables is also a problem in quantifier calculus as well as calculus.
BTW as II f(x,y)dxdy = II f(x,y)dydx so does (x)(y)P(x,y) = (y)(x)P(x,y)
Shorthand (x)(y)P(x,y) = (x,y)P(x,y) so (x,y)P(x,y) = (y,x)P(x,y) where = in 
this context is equivalence.
 JB> Yes, it is a text book I am reading.  
 JB> It doesn't contain Godels', but it does contain "introductory" 
 JB> stuff such as set theory, quantifier calculus, etc.  
Sounding good.  Isn't his stuff crisp, ie, not fuzzy?
---
---------------