12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 16:26, 17 June 2009
, 16:26, 17 June 2009→Note 24: use \texttt{...} fornt for logical operators
<math>\begin{array}{rcccccc}
<math>\begin{array}{rcccccc}
\varepsilon (pq)
\varepsilon (pq)
& = & p & \cdot & q & \cdot & (\operatorname{d}p)(\operatorname{d}q)
& = &
p & \cdot & q & \cdot &
\texttt{(} \operatorname{d}p \texttt{)}
\texttt{(} \operatorname{d}q \texttt{)}
\\[4pt]
\\[4pt]
& + & p & \cdot & q & \cdot & (\operatorname{d}p)~\operatorname{d}q~
& + &
p & \cdot & q & \cdot &
\texttt{(} \operatorname{d}p \texttt{)}
\texttt{~} \operatorname{d}q \texttt{~}
\\[4pt]
\\[4pt]
& + & p & \cdot & q & \cdot & ~\operatorname{d}p~(\operatorname{d}q)
& + &
p & \cdot & q & \cdot &
\texttt{~} \operatorname{d}p \texttt{~}
\texttt{(} \operatorname{d}q \texttt{)}
\\[4pt]
\\[4pt]
& + & p & \cdot & q & \cdot & ~\operatorname{d}p~~\operatorname{d}q~
& + &
p & \cdot & q & \cdot &
\texttt{~} \operatorname{d}p \texttt{~}
\texttt{~} \operatorname{d}q \texttt{~}
\end{array}</math>
\end{array}</math>
|}
|}