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