12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic (view source)
Revision as of 16:15, 9 June 2009
, 16:15, 9 June 2009→Note 3: \operatorname{d}
|
|
<math>\begin{array}{rcccc}
<math>\begin{array}{rcccc}
1. & x & y & dx & dy
1. & x & y & \operatorname{d}x & \operatorname{d}y
\\
\\
2. & x & y & dx & (dy)
2. & x & y & \operatorname{d}x & (\operatorname{d}y)
\\
\\
3. & x & y & (dx) & dy
3. & x & y & (\operatorname{d}x) & \operatorname{d}y
\\
\\
4. & x & (y) & (dx) & dy
4. & x & (y) & (\operatorname{d}x) & \operatorname{d}y
\\
\\
5. & (x) & y & dx & (dy)
5. & (x) & y & \operatorname{d}x & (\operatorname{d}y)
\\
\\
6. & (x) & (y) & dx & dy
6. & (x) & (y) & \operatorname{d}x & \operatorname{d}y
\end{array}</math>
\end{array}</math>
|}
|}