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