12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday April 06, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 04:32, 21 June 2009
, 04:32, 21 June 2009→Note 4: convert graphics
Line 262:
Line 262:
<pre>
−o-------------------------------------------------o
−| |
−| o |
−| | dp dq |
−| o---o o---o |
−| \ | | / |
−| \ | | / o |
−| \| |/ | |
−| o=o-----------o |
−| \ / |
−| \ / |
−| \ / |
−| \ / |
−| \ / |
−| \ / |
−| @ |
−| |
−o-------------------------------------------------o
−| Df|(p)q = dp (dq) |
−o-------------------------------------------------o
−</pre>
<pre>
−o-------------------------------------------------o
−| |
−| o o |
−| | dp | dq |
−| o---o o---o |
−| \ | | / |
−| \ | | / o o |
−| \| |/ \ / |
−| o=o-----------o |
−| \ / |
−| \ / |
−| \ / |
−| \ / |
−| \ / |
−| \ / |
−| @ |
−| |
−o-------------------------------------------------o
−| Df|(p)(q) = dp dq |
−o-------------------------------------------------o
−</pre>
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" cellspacing="20" style="text-align:center; width:90%"
+{| align="center" cellspacing="20" style="text-align:center"
| [[Image:Cactus Graph Df = ((P,dP)(Q,dQ),PQ).jpg|500px]]
| [[Image:Cactus Graph Df = ((P,dP)(Q,dQ),PQ).jpg|500px]]
|-
|-
Line 269:
Line 269:
| [[Image:Cactus Graph Df@P(Q) = (dP)dQ.jpg|500px]]
| [[Image:Cactus Graph Df@P(Q) = (dP)dQ.jpg|500px]]
|-
|-
−|
+| [[Image:Cactus Graph Df@(P)Q = dP(dQ).jpg|500px]]
−|-
|-
−|
+| [[Image:Cactus Graph Df@(P)(Q) = dP dQ.jpg|500px]]
−|}
|}
