12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 18:12, 6 May 2008
, 18:12, 6 May 2008→Note 16: markup
===Note 16===
===Note 16===
The cactus lobe operators <math>(\ ), (x_1), (x_1, x_2), (x_1, x_2, x_3), \ldots, (x_1, \ldots, x_k)\!</math> are often referred to as ''boundary operators'' and one of the reasons for this can be seen most easily in the venn diagram for the <math>k\!</math>-argument boundary operator <math>(x_1, \ldots, x_k).\!</math> Figure 10 shows the venn diagram for the 3-fold boundary form <math>(x, y, z).\!</math>
<pre>
<pre>
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| U |
| U |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
Figure 10. Venn Diagram for (x, y, z)
Figure 10. Venn Diagram for (x, y, z)
</pre>
<pre>
In this picture, the "oval" (actually, octangular) regions that
In this picture, the "oval" (actually, octangular) regions that
are customarily said to be "indicated" by the basic propositions
are customarily said to be "indicated" by the basic propositions