Changes

Line 3,515: Line 3,515:  
</pre>
 
</pre>
   −
<pre>
+
In this picture, the "oval" (actually, octangular) regions that are customarily said to be ''indicated'' by the basic propositions <math>x, y, z : \mathbb{B}^3 \to \mathbb{B},</math> that is, where the simple arguments <math>x, y, z,\!</math> respectively, evaluate to ''true'', are marked with the corresponding capital letters <math>X, Y, Z,\!</math> respectively.  The proposition <math>(x, y, z)\!</math> comes out true in the region that is shaded with per cent signs. Invoking various idioms of general usage, one may refer to this region as the ''indicated region'', ''truth set'', or ''fiber of truth'' of the proposition in question.
In this picture, the "oval" (actually, octangular) regions that
  −
are customarily said to be "indicated" by the basic propositions
  −
x, y, z : B^3 -> B, that is, where the simple arguments x, y, z,
  −
respectively, evaluate to true, are marked with the corresponding
  −
capital letters X, Y, Z, respectively.  The proposition (x, y, z)
  −
comes out true in the region that is shaded with per cent signs.
  −
Invoking various idioms of general usage, one may refer to this
  −
region as the indicated region, truth set, or fibre of truth
  −
of the proposition in question.
     −
It is useful to consider the truth set of the proposition (x, y, z)
+
It is useful to consider the truth set of the proposition <math>(x, y, z)\!</math> in relation to the logical conjunction <math>x\ y\ z</math> of its arguments <math>x, y, z.\!</math>
in relation to the logical conjunction xyz of its arguments x, y, z.
     −
In relation to the central cell indicated by the conjunction xyz,
+
In relation to the central cell indicated by the conjunction <math>x\ y\ z,</math> the region indicated by "<math>(x, y, z)\!</math>" is composed of the ''adjacent'' or the ''bordering'' cells.  Thus they are the cells that are just across the boundary of the center cell, arrived at by taking all of Leibniz's ''minimal changes'' from the given point of departure.
the region indicated by "(x, y, z)" is composed of the "adjacent"
  −
or the "bordering" cells.  Thus they are the cells that are just
  −
across the boundary of the center cell, arrived at by taking all
  −
of Leibniz's "minimal changes" from the given point of departure.
  −
</pre>
      
===Note 17===
 
===Note 17===
12,080

edits