12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday April 12, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 04:04, 21 June 2009
, 04:04, 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>
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="10" style="text-align:center; width:90%"
+{| align="center" cellspacing="20" style="text-align:center; width:90%"
| [[Image:Cactus Graph Df = ((P,dP)(Q,dQ),PQ).jpg|500px]]
| [[Image:Cactus Graph Df = ((P,dP)(Q,dQ),PQ).jpg|500px]]
|-
|-
| [[Image:Cactus Graph Df@PQ = ((dP)(dQ)).jpg|500px]]
| [[Image:Cactus Graph Df@PQ = ((dP)(dQ)).jpg|500px]]
|-
|-
−|
+| [[Image:Cactus Graph Df@P(Q) = (dP)dQ.jpg|500px]]
−|-
|-
|
|
