12,089
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 03:26, 7 May 2008
, 03:26, 7 May 2008→Note 19: markup
===Note 19===
===Note 19===
Let's collect the various ways of representing the structure of a universe of discourse that is described by the following cactus form, verbalized as "just 1 of <math>x, y , z\!</math> is true".
<pre>
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
| |
| |
| ((x),(y),(z)) |
| ((x),(y),(z)) |
o-------------------------------------------------o
o-------------------------------------------------o
</pre>
Table 12 shows the truth table for the existential
Table 12 shows the truth table for the existential interpretation of the cactus formula <math>((x),(y),(z)).\!</math>
interpretation of the cactus formula ((x),(y),(z)).
<pre>
Table 12. Existential Interpretation of ((x),(y),(z))
Table 12. Existential Interpretation of ((x),(y),(z))
o-----------o-----------o-----------o-------------o
o-----------o-----------o-----------o-------------o
| | |
| | |
o-----------------------------------o-------------o
o-----------------------------------o-------------o
</pre>
Figure 13 shows the same data as a 2-colored 3-cube,
Figure 13 shows the same data as a 2-colored 3-cube, coloring a node with a hollow dot (<code>o</code>) for ''false'' or a star (<code>*</code>) for ''true''.
coloring a node with a hollow dot (o) for "false"
or a star (*) for "true".
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
| |
| |
| |
| |
o-------------------------------------------------o
o-------------------------------------------------o
</pre>
Figure 14 repeats the venn diagram that we've already seen.
Figure 14 repeats the venn diagram that we've already seen.
<pre>
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| U |
| U |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
Figure 14. Venn Diagram for ((x),(y),(z))
Figure 14. Venn Diagram for ((x),(y),(z))
</pre>
Figure 15 shows an alternate form of venn diagram for the same
Figure 15 shows an alternate form of venn diagram for the same proposition, where we collapse to a nullity all of the regions on which the proposition in question evaluates to false. This leaves a structure that partitions the universe into precisely three parts. In mathematics, operations that identify diverse elements are called ''quotient operations''. In this case, many regions of the universe are being identified with the null set, leaving only this 3-fold partition as the ''quotient structure''.
proposition, where we collapse to a nullity all of the regions
on which the proposition in question evaluates to false. This
leaves a structure that partitions the universe into precisely
three parts. In mathematics, operations that identify diverse
elements are called "quotient operations". In this case, many
regions of the universe are being identified with the null set,
leaving only this 3-fold partition as the "quotient structure".
<pre>
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| \ / |
| \ / |