12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 13:24, 18 June 2009
, 13:24, 18 June 2009→Note 26: cleanup
\\[4pt]
\\[4pt]
& + &
& + &
\texttt{(} p \texttt{)} & \cdot & \texttt{(}q \texttt{)} & \cdot & 0
\texttt{(} p \texttt{)} & \cdot & \texttt{(} q \texttt{)} & \cdot & 0
\end{array}</math>
\end{array}</math>
|}
|}
\\[4pt]
\\[4pt]
& + &
& + &
\texttt{(} p \texttt{)} & \cdot & \texttt{(}q \texttt{)} & \cdot &
\texttt{(} p \texttt{)} & \cdot & \texttt{(} q \texttt{)} & \cdot &
\operatorname{d}p ~ \operatorname{d}q
\operatorname{d}p ~ \operatorname{d}q
\end{array}</math>
\end{array}</math>