12,122
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic (view source)
Revision as of 14:40, 14 June 2009
, 14:40, 14 June 2009→Note 9: \operatorname{ }
{| 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>
|}
|}
| 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>
|}
|}