12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday May 01, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 14:16, 29 May 2009
, 14:16, 29 May 2009→Note 5: markup + rewrite
|}
|}
To understand what this means in logical terms, it is useful to go back and analyze the above expression for <math>\operatorname{E}f</math> in the same way that we did for <math>\operatorname{D}f.</math> Toward that end, the next set of Figures represent the computation of the ''enlarged'' or ''shifted'' proposition <math>\operatorname{E}f</math> at each of the 4 points in the universe of discourse <math>U = X \times Y.</math>
{| align="center" cellpadding="6" width="90%"
| align="center" |
<pre>
<pre>
o---------------------------------------o
o---------------------------------------o
| |
| |
| Ef = (x, dx)·(y, dy) |
| Ef = (x, dx)·(y, dy) |
o---------------------------------------o
o---------------------------------------o
</pre>
|-
| align="center" |
<pre>
o---------------------------------------o
o---------------------------------------o
| |
| |
| Ef|xy = (dx)·(dy) |
| Ef|xy = (dx)·(dy) |
o---------------------------------------o
o---------------------------------------o
</pre>
|-
| align="center" |
<pre>
o---------------------------------------o
o---------------------------------------o
| |
| |
| Ef|x(y) = (dx)· dy |
| Ef|x(y) = (dx)· dy |
o---------------------------------------o
o---------------------------------------o
</pre>
|-
| align="center" |
<pre>
o---------------------------------------o
o---------------------------------------o
| |
| |
| Ef|(x)y = dx ·(dy) |
| Ef|(x)y = dx ·(dy) |
o---------------------------------------o
o---------------------------------------o
</pre>
|-
| align="center" |
<pre>
o---------------------------------------o
o---------------------------------------o
| |
| |
| Ef|(x)(y) = dx · dy |
| Ef|(x)(y) = dx · dy |
o---------------------------------------o
o---------------------------------------o
</pre>
|}
<pre>
Given the sort of data that arises from this form of analysis,
Given the sort of data that arises from this form of analysis,
we can now fold the disjoined ingredients back into a boolean
we can now fold the disjoined ingredients back into a boolean
