Changes

Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)

Revision as of 19:35, 16 June 2009

1,253 bytes removed , 19:35, 16 June 2009

→‎Note 22: convert graphics

Line 3,893: Line 3,893:

{| align="center" cellspacing="10" style="text-align:center"

−

|

+

| [[Image:Field Picture PQ Difference Conjunction.jpg|500px]]

−

~~<pre>~~

−

~~o-------------------------------------------------o~~

−

| |

−

~~| |~~

−

~~| o-------------o o-------------o |~~

−

~~| / \ / \ |~~

−

~~| / P o Q \ |~~

−

~~| / /%\ \ |~~

−

~~| / /%%%\ \ |~~

−

~~| o o%%%%%o o |~~

−

~~| | (dp)dq |%%%%%| dp(dq) | |~~

−

~~| | o<--------------|->o<-|-------------->o | |~~

−

~~| | |%%^%%| | |~~

−

~~| o o%%|%%o o |~~

−

~~| \ \%|%/ / |~~

−

~~| \ \|/ / |~~

−

~~| \ o / |~~

−

~~| \ /|\ / |~~

−

~~| o-------------o | o-------------o |~~

−

~~| | |~~

−

~~| | |~~

−

~~| v |~~

−

~~| o |~~

−

~~| dp dq |~~

−

~~| |~~

−

~~o-------------------------------------------------o~~

−

~~</pre>~~

|-

| <math>\text{Figure 22-c. Difference}~ \operatorname{D}(pq) : \operatorname{E}X \to \mathbb{B}</math>

Jon Awbrey

12,080

edits