12,122
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 03:30, 21 June 2009
, 03:30, 21 June 2009→Note 4: convert graphics + adjust spacing
In the example <math>f(p, q) = pq,\!</math> the value of the difference proposition <math>\operatorname{D}f_x</math> at each of the four points in <math>x \in X\!</math> may be computed in graphical fashion as shown below:
In the example <math>f(p, q) = pq,\!</math> the value of the difference proposition <math>\operatorname{D}f_x</math> at each of the four points in <math>x \in X\!</math> may be computed in graphical fashion as shown below:
{| align="center" cellpadding="6" width="90%"
{| align="center" cellspacing="10" style="text-align:center; width:90%"
| align="center" |
| [[Image:Cactus Graph Df = ((P,dP)(Q,dQ),PQ).jpg|500px]]
|-
|-
|
<pre>
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
</pre>
</pre>
|-
|-
|
<pre>
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
</pre>
</pre>
|-
|-
|
<pre>
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
</pre>
</pre>
|-
|-
|
<pre>
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
The easy way to visualize the values of these graphical expressions is just to notice the following equivalents:
The easy way to visualize the values of these graphical expressions is just to notice the following equivalents:
{| align="center" cellpadding="6" width="90%"
{| align="center" cellspacing="10" style="text-align:center; width:90%"
|
<pre>
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
</pre>
</pre>
|-
|-
|
<pre>
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
Laying out the arrows on the augmented venn diagram, one gets a picture of a ''differential vector field''.
Laying out the arrows on the augmented venn diagram, one gets a picture of a ''differential vector field''.
{| align="center" cellpadding="10"
{| align="center" cellspacing="10"
| [[Image:Venn Diagram PQ Difference Conj.jpg|500px]]
| [[Image:Venn Diagram PQ Difference Conj.jpg|500px]]
|}
|}
The Figure shows the points of the extended universe <math>\operatorname{E}X = P \times Q \times \operatorname{d}P \times \operatorname{d}Q</math> that are indicated by the difference map <math>\operatorname{D}f : \operatorname{E}X \to \mathbb{B},</math> namely, the following six points or singular propositions::
The Figure shows the points of the extended universe <math>\operatorname{E}X = P \times Q \times \operatorname{d}P \times \operatorname{d}Q</math> that are indicated by the difference map <math>\operatorname{D}f : \operatorname{E}X \to \mathbb{B},</math> namely, the following six points or singular propositions::
{| align="center" cellpadding="6"
{| align="center" cellspacing="10"
|
|
<math>\begin{array}{rcccc}
<math>\begin{array}{rcccc}