12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic (view source)
Revision as of 14:40, 14 June 2009
, 14:40, 14 June 2009→Note 9: \operatorname{ }
Line 2,822:
Line 2,822:
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="6" width="90%"
−| align="center" | <math>\mathrm{G} ~=~ \mathrm{e} ~+~ \mathrm{f} ~+~ \mathrm{g} ~+~ \mathrm{h}</math>
+| align="center" |
+<math>\begin{matrix}
+\operatorname{G}
+& = & \operatorname{e}
+& + & \operatorname{f}
+& + & \operatorname{g}
+& + & \operatorname{h}
+\end{matrix}</math>
|}
|}
Line 2,830:
Line 2,837:
| align="center" |
| align="center" |
<math>\begin{matrix}
<math>\begin{matrix}
−\mathrm{G}
+\operatorname{G}
−& = & \mathrm{e}:\mathrm{e}
+& = & \operatorname{e}:\operatorname{e}
−& + & \mathrm{f}:\mathrm{f}
+& + & \operatorname{f}:\operatorname{f}
−& + & \mathrm{g}:\mathrm{g}
+& + & \operatorname{g}:\operatorname{g}
−& + & \mathrm{h}:\mathrm{h}
+& + & \operatorname{h}:\operatorname{h}
\\[4pt]
\\[4pt]
−& + & \mathrm{e}:\mathrm{f}
+& + & \operatorname{e}:\operatorname{f}
−& + & \mathrm{f}:\mathrm{e}
+& + & \operatorname{f}:\operatorname{e}
−& + & \mathrm{g}:\mathrm{h}
+& + & \operatorname{g}:\operatorname{h}
& + & \mathrm{h}:\mathrm{g}
& + & \mathrm{h}:\mathrm{g}
\\[4pt]
\\[4pt]
−& + & \mathrm{e}:\mathrm{g}
+& + & \operatorname{e}:\operatorname{g}
−& + & \mathrm{f}:\mathrm{h}
+& + & \operatorname{f}:\operatorname{h}
−& + & \mathrm{g}:\mathrm{e}
+& + & \operatorname{g}:\operatorname{e}
−& + & \mathrm{h}:\mathrm{f}
+& + & \operatorname{h}:\operatorname{f}
\\[4pt]
\\[4pt]
−& + & \mathrm{e}:\mathrm{h}
+& + & \operatorname{e}:\operatorname{h}
−& + & \mathrm{f}:\mathrm{g}
+& + & \operatorname{f}:\operatorname{g}
−& + & \mathrm{g}:\mathrm{f}
+& + & \operatorname{g}:\operatorname{f}
−& + & \mathrm{h}:\mathrm{e}
+& + & \operatorname{h}:\operatorname{e}
\end{matrix}</math>
\end{matrix}</math>
|}
|}
