12,080
edits
Changes
Directory: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
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]]
|-
|-
| [[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]]
|}
|}