12,080
edits
Changes
→Differential Logic
\\[4pt]
\\[4pt]
& + & \texttt{(} p \texttt{)} & \cdot & \texttt{(}q \texttt{)} & \cdot & 0
& + & \texttt{(} p \texttt{)} & \cdot & \texttt{(}q \texttt{)} & \cdot & 0
\end{array}</math>
|}
{| align="center" cellspacing="10" style="text-align:center"
| [[Image:Field Picture PQ Remainder Conjunction.jpg|500px]]
|-
| <math>\text{Figure 26-2. Remainder Map}~ \operatorname{r}(pq) : \operatorname{E}X \to \mathbb{B}</math>
|-
|
<math>\begin{array}{rcccccc}
\operatorname{r}(pq)
& = & p & \cdot & q & \cdot &
\operatorname{d}p ~ \operatorname{d}q
\\[4pt]
& + & p & \cdot & \texttt{(} q \texttt{)} & \cdot &
\operatorname{d}p ~ \operatorname{d}q
\\[4pt]
& + & \texttt{(} p \texttt{)} & \cdot & q & \cdot &
\operatorname{d}p ~ \operatorname{d}q
\\[4pt]
& + & \texttt{(} p \texttt{)} & \cdot & \texttt{(}q \texttt{)} & \cdot &
\operatorname{d}p ~ \operatorname{d}q
\end{array}</math>
\end{array}</math>
|}
|}