12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to search→Differential Logic
Line 450:
Line 450:
|-
|-
| <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>
|}
|}
