12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 20:38, 15 June 2009
, 20:38, 15 June 2009→Note 22: markup
| |
| |
o-------------------------------------------------o
o-------------------------------------------------o
</pre>
</pre>
|-
| <math>\text{Figure 22-c. Difference}~ \operatorname{D}(pq) : \operatorname{E}X \to \mathbb{B}</math>
|-
|
<math>\begin{array}{rcccccc}
f
& = & p & \cdot & q
\\[4pt]
\operatorname{D}f
& = & p & \cdot & q & \cdot & ((\operatorname{d}p)(\operatorname{d}q))
\\[4pt]
& + & p & \cdot & (q) & \cdot & ~(\operatorname{d}p)~\operatorname{d}q~~
\\[4pt]
& + & (p) & \cdot & q & \cdot & ~~\operatorname{d}p~(\operatorname{d}q)~
\\[4pt]
& + & (p) & \cdot & (q) & \cdot & ~~\operatorname{d}p~~\operatorname{d}q~~
\end{array}</math>
|}
|}