12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 19:48, 5 May 2008
, 19:48, 5 May 2008→Note 9: markup
o-----------------------------------------------------------o
o-----------------------------------------------------------o
Figure 4. Tangent Venn Diagram for Dq.c
Figure 4. Tangent Venn Diagram for Dq.c
</pre>
Taken in the context of the tangent universe to X at c = uvw,
Taken in the context of the tangent universe to <math>X\!</math> at <math>c = u\ v\ w</math> , written <math>\operatorname{d}X \cdot c</math> or <math>\operatorname{d}X \cdot u\ v\ w</math> , the shaded area of Figure 4 indicates the models of the difference proposition <math>\operatorname{d}q \cdot u\ v\ w</math> , specifically:
written dX.c or dX.uvw, the shaded area of Figure 4 indicates
the models of the difference proposition Dq.uvw, specifically:
<pre>
1. u v w du dv dw
1. u v w du dv dw