Changes

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

Revision as of 16:42, 16 June 2009

1,244 bytes removed , 16:42, 16 June 2009

→‎Note 22: convert graphics

Line 3,858: Line 3,858:

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

−

| [[Image:~~Venn Diagram P And Q~~.jpg|500px]]

+

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

|-

| <math>\text{Figure 22-a. Conjunction}~ pq : X \to \mathbb{B}</math>

Line 3,872: Line 3,872:

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

−

|

+

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

−

~~<pre>~~

−

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

−

~~| |~~

−

~~| |~~

−

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

−

~~| / \ / \ |~~

−

~~| / P o Q \ |~~

−

~~| / /%\ \ |~~

−

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

−

~~| o o.->-~~.~~o o |~~

−

~~| | p(q)(dp)dq |%\%/%| (p)q dp(dq) | |~~

−

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

−

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

−

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

−

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

−

~~| \ \|/ / |~~

−

~~| \ o / |~~

−

~~| \ /|\ / |~~

−

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

−

~~| | |~~

−

~~| | |~~

−

~~| | |~~

−

~~| o |~~

−

~~| (p)(q) dp dq |~~

−

| |

−

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

−

~~</pre>~~

|-

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

Jon Awbrey

12,080

edits