12,089
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0 (view source)
Revision as of 02:38, 30 June 2009
, 02:38, 30 June 2009→Review and Transition
It is important to note that the last expressions are not equivalent to the triple bracket <math>(x, y, z).\!</math>
It is important to note that the last expressions are not equivalent to the triple bracket <math>(x, y, z).\!</math>
<br>
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
w~x'y'z~ & \\
w~x'y'z~ & \\
\end{matrix}</math>
\end{matrix}</math>
|}<br>
|}
<br>
'''Note.''' The usage that one often sees, of a plus sign "<math>+\!</math>" to represent inclusive disjunction, and the reference to this operation as ''boolean addition'', is a misnomer on at least two counts. Boole used the plus sign to represent exclusive disjunction (at any rate, an operation of aggregation restricted in its logical interpretation to cases where the represented sets are disjoint (Boole, 32)), as any mathematician with a sensitivity to the ring and field properties of algebra would do:
'''Note.''' The usage that one often sees, of a plus sign "<math>+\!</math>" to represent inclusive disjunction, and the reference to this operation as ''boolean addition'', is a misnomer on at least two counts. Boole used the plus sign to represent exclusive disjunction (at any rate, an operation of aggregation restricted in its logical interpretation to cases where the represented sets are disjoint (Boole, 32)), as any mathematician with a sensitivity to the ring and field properties of algebra would do: