12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 02:20, 16 June 2009
, 02:20, 16 June 2009→Note 22: use E(pq) and D(pq)
|
|
<math>\begin{array}{rcccccc}
<math>\begin{array}{rcccccc}
\operatorname{E}(pq)
\operatorname{E}f
& = & p & \cdot & q & \cdot & (\operatorname{d}p)(\operatorname{d}q)
& = & p & \cdot & q & \cdot & (\operatorname{d}p)(\operatorname{d}q)
\\[4pt]
\\[4pt]
|
|
<math>\begin{array}{rcccccc}
<math>\begin{array}{rcccccc}
\operatorname{D}(pq)
\operatorname{D}f
& = & p & \cdot & q & \cdot & ((\operatorname{d}p)(\operatorname{d}q))
& = & p & \cdot & q & \cdot & ((\operatorname{d}p)(\operatorname{d}q))
\\[4pt]
\\[4pt]