12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday April 12, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 16:10, 18 June 2009
, 16:10, 18 June 2009→Note 26: convert graphics
Line 4,235:
Line 4,235:
<pre>+o---------------------------------------------------------------------o+| |
−| o-------------------o o-------------------o |
−| / \ / \ |
−| / P o Q \ |
−| / / \ \ |
−| / / \ \ |
−| / / \ \ |
−| / / \ \ |
−| / / \ \ |
−| o o o o |
−| | | | | |
−| | | dp dq | | |
−| | o<------------------------------->o | |
−| | | | | |
−| | | | | |
−| | | o | | |
−| o o ^ o o |
−| \ \ | / / |
−| \ \ | / / |
−| \ \ | / / |
−| \ \ | / / |
−| \ \|/ / |
−| \ dp | dq / |
−| \ /|\ / |
−| o-------------------o | o-------------------o |
−| | |
−| | |
−| | |
−| v |
−| o |
−| |
−o---------------------------------------------------------------------o
−
Capping the series that analyzes the proposition <math>pq\!</math> in terms of succeeding orders of linear propositions, Figure 26-2 shows the remainder map <math>\operatorname{r}(pq) : \operatorname{E}X \to \mathbb{B},</math> that happens to be linear in pairs of variables.
Capping the series that analyzes the proposition <math>pq\!</math> in terms of succeeding orders of linear propositions, Figure 26-2 shows the remainder map <math>\operatorname{r}(pq) : \operatorname{E}X \to \mathbb{B},</math> that happens to be linear in pairs of variables.
−{| align="center" cellspacing="10" style="text-align:center; width:90%"
+{| 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>
−| X |
−| | | | | |
−Figure 26-2. Remainder r[pq] : EX -> B
−</pre>
|}
|}
