Changes

format
Line 26: Line 26:  
|}
 
|}
   −
It may also be noted that <math>\texttt{(x, y)}</math> is the same function as <math>x + y\!</math> and <math>x \ne y</math>, and that the inclusive disjunctions indicated for <math>\texttt{(x, y)}</math> and for <math>\texttt{(x, y, z)}</math> may be replaced with exclusive disjunctions without affecting the meaning, because the terms disjoined are already disjoint.  However, the function <math>\texttt{(x, y, z)}</math> is not the same thing as the function <math>x + y + z\!</math>.
+
It may also be noted that <math>\texttt{(x, y)}</math> is the same function as <math>x + y\!</math> and <math>x \ne y</math>, and that the inclusive disjunctions indicated for <math>\texttt{(x, y)}</math> and for <math>\texttt{(x, y, z)}</math> may be replaced with exclusive disjunctions without affecting the meaning, because the terms disjoined are already disjoint.  However, the function <math>\texttt{(x, y, z)}</math> is not the same thing as the function <math>x + y + z.\!</math>
    
The minimal negation operator ('''mno''') has a legion of aliases:  ''logical boundary operator'', ''[[limen|limen operator]]'', ''threshold operator'', or ''least action operator'', to name but a few.  The rationale for these names is visible in the [[venn diagram]]s of the corresponding operations on [[set]]s.
 
The minimal negation operator ('''mno''') has a legion of aliases:  ''logical boundary operator'', ''[[limen|limen operator]]'', ''threshold operator'', or ''least action operator'', to name but a few.  The rationale for these names is visible in the [[venn diagram]]s of the corresponding operations on [[set]]s.
12,080

edits