Changes

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>

{| align="center" border="1" cellpadding="8" cellspacing="0" style="font-weight:bold; text-align:left; width:96%"

{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:96%"

|+ '''Table 1.  Syntax and Semantics of a Calculus for Propositional Logic'''

|+ '''Table 1.  Syntax and Semantics of a Calculus for Propositional Logic'''

|- style="background:paleturquoise"

|- style="background:ghostwhite"

! Expression

! Expression

! Interpretation

! Interpretation

Q A’B’C

Q A’B’C

|}

|}

NB. The usage that one often sees, of a plus sign "+" 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 "+" 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:

<blockquote>

<blockquote>