MyWikiBiz

Changes

Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)

Revision as of 04:00, 1 June 2008

1,274 bytes added ,  04:00, 1 June 2008
→‎Propositional Forms on Two Variables: sub new table
Line 4,533: Line 4,533:  
<br>
 
<br>
   −
<pre>
+
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
−
Table 6.  Df Expanded Over Differential Features {dx, dy}
+
|+ '''Table 6.  <math>\operatorname{D}f</math> Expanded Over Differential Features <math>\{ \operatorname{d}x, \operatorname{d}y \}</math>'''
−
o------o------------o------------o------------o------------o------------o
+
|- style="background:ghostwhite; height:36px"
−
|      |            |            |            |            |            |
+
| &nbsp;
−
|     |    f     | Df| dx dy  | Df| dx(dy) | Df| (dx)dy | Df|(dx)(dy)|
+
| <math>f\!</math>
−
|     |           |            |            |            |            |
+
| <math>\operatorname{D}f|_{\operatorname{d}x\ \operatorname{d}y}</math>
−
o------o------------o------------o------------o------------o------------o
+
| <math>\operatorname{D}f|_{\operatorname{d}x(\operatorname{d}y)}</math>
−
|     |           |            |            |            |            |
+
| <math>\operatorname{D}f|_{(\operatorname{d}x)\operatorname{d}y}</math>
−
| f_0  |     ()    |    ()     |    ()     |     ()    |     ()    |
+
| <math>\operatorname{D}f|_{(\operatorname{d}x)(\operatorname{d}y)}</math>
−
|     |           |           |           |           |           |
+
|- style="height:36px"
−
o------o------------o------------o------------o------------o------------o
+
| <math>f_{0}\!</math>
−
|     |           |           |           |           |           |
+
| <math>(~)\!</math>
−
| f_1  |  (x)(y)  | ((x, y))  |   (y)    |   (x)    |     ()    |
+
| <math>(~)\!</math>
−
|     |            |            |            |            |            |
+
| <math>(~)\!</math>
−
| f_2  |   (x) y    |   (x, y)  |     y      |   (x)     |    ()     |
+
| <math>(~)\!</math>
−
|     |           |           |           |           |            |
+
| <math>(~)\!</math>
−
| f_4  |   x (y)   |  (x, y)   |   (y)    |     x      |     ()    |
+
|-
−
|     |           |           |           |           |           |
+
|
−
| f_8  |   x  y    | ((x, y))  |     y      |     x      |     ()     |
+
{| align="center"
−
|     |           |           |           |           |            |
+
|-
−
o------o------------o------------o------------o------------o------------o
+
| height="36px" | <math>f_{1}\!</math>
−
|     |           |           |           |           |           |
+
|-
−
| f_3  |   (x)      |   (())    |   (())    |     ()    |     ()    |
+
| height="36px" | <math>f_{2}\!</math>
−
|     |           |           |            |            |            |
+
|-
−
| f_12 |   x      |    (())   |   (())   |    ()    |     ()    |
+
| height="36px" | <math>f_{4}\!</math>
−
|     |           |           |           |           |           |
+
|-
−
o------o------------o------------o------------o------------o------------o
+
| height="36px" | <math>f_{8}\!</math>
−
|     |           |           |            |            |            |
+
|}
−
| f_6  |   (x, y)   |    ()     |   (())    |   (())    |     ()     |
+
|
−
|     |            |            |            |            |            |
+
{| align="center"
−
| f_9  | ((x, y))  |     ()    |   (())    |   (())   |     ()    |
+
|-
−
|     |           |           |           |            |           |
+
| height="36px" | <math>(x)(y)\!</math>
−
o------o------------o------------o------------o------------o------------o
+
|-
−
|     |            |            |            |            |            |
+
| height="36px" | <math>(x)\ y\!</math>
−
| f_5  |      (y)   |   (())    |     ()     |   (())    |    ()    |
+
|-
−
|     |            |            |            |            |            |
+
| height="36px" | <math>x\ (y)\!</math>
−
| f_10 |      y    |    (())    |    ()    |    (())    |    ()    |
+
|-
−
|      |            |            |            |            |            |
+
| height="36px" | <math>x\ y\!</math>
−
o------o------------o------------o------------o------------o------------o
+
|}
−
|      |            |            |            |            |            |
+
|
−
| f_7  |  (x  y)  |  ((x, y))  |    y      |    x      |    ()    |
+
{| align="center"
−
|      |            |            |            |            |            |
+
|-
−
| f_11 |  (x (y))  |  (x, y)  |    (y)    |    x      |    ()    |
+
| height="36px" | <math>((x,\ y))\!</math>
−
|      |            |            |            |            |            |
+
|-
−
| f_13 |  ((x) y)  |  (x, y)  |    y      |    (x)    |    ()    |
+
| height="36px" | <math>(x,\ y)\!</math>
−
|      |            |            |            |            |            |
+
|-
−
| f_14 |  ((x)(y))  |  ((x, y))  |    (y)    |    (x)    |    ()    |
+
| height="36px" | <math>(x,\ y)\!</math>
−
|      |            |            |            |            |            |
+
|-
−
o------o------------o------------o------------o------------o------------o
+
| height="36px" | <math>((x,\ y))\!</math>
−
|      |            |            |            |            |            |
+
|}
−
| f_15 |    (())    |    ()    |    ()    |    ()    |    ()    |
+
|
−
|      |            |            |            |            |            |
+
{| align="center"
−
o------o------------o------------o------------o------------o------------o
+
|-
−
</pre>
+
| height="36px" | <math>(y)\!</math>
 +
|-
 +
| height="36px" | <math>y\!</math>
 +
|-
 +
| height="36px" | <math>(y)\!</math>
 +
|-
 +
| height="36px" | <math>y\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>(x)\!</math>
 +
|-
 +
| height="36px" | <math>(x)\!</math>
 +
|-
 +
| height="36px" | <math>x\!</math>
 +
|-
 +
| height="36px" | <math>x\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|}
 +
|-
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>f_{3}\!</math>
 +
|-
 +
| height="36px" | <math>f_{12}\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>(x)\!</math>
 +
|-
 +
| height="36px" | <math>x\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>((~))\!</math>
 +
|-
 +
| height="36px" | <math>((~))\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>((~))\!</math>
 +
|-
 +
| height="36px" | <math>((~))\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|}
 +
|-
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>f_{6}\!</math>
 +
|-
 +
| height="36px" | <math>f_{9}\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>(x,\ y)\!</math>
 +
|-
 +
| height="36px" | <math>((x,\ y))\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>((~))\!</math>
 +
|-
 +
| height="36px" | <math>((~))\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>((~))\!</math>
 +
|-
 +
| height="36px" | <math>((~))\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|}
 +
|-
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>f_{5}\!</math>
 +
|-
 +
| height="36px" | <math>f_{10}\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>(y)\!</math>
 +
|-
 +
| height="36px" | <math>y\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>((~))\!</math>
 +
|-
 +
| height="36px" | <math>((~))\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>((~))\!</math>
 +
|-
 +
| height="36px" | <math>((~))\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|}
 +
|-
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>f_{7}\!</math>
 +
|-
 +
| height="36px" | <math>f_{11}\!</math>
 +
|-
 +
| height="36px" | <math>f_{13}\!</math>
 +
|-
 +
| height="36px" | <math>f_{14}\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>(x\ y)\!</math>
 +
|-
 +
| height="36px" | <math>(x\ (y))\!</math>
 +
|-
 +
| height="36px" | <math>((x)\ y)\!</math>
 +
|-
 +
| height="36px" | <math>((x)(y))\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>((x,\ y))\!</math>
 +
|-
 +
| height="36px" | <math>(x,\ y)\!</math>
 +
|-
 +
| height="36px" | <math>(x,\ y)\!</math>
 +
|-
 +
| height="36px" | <math>((x,\ y))\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>y\!</math>
 +
|-
 +
| height="36px" | <math>(y)\!</math>
 +
|-
 +
| height="36px" | <math>y\!</math>
 +
|-
 +
| height="36px" | <math>(y)\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>x\!</math>
 +
|-
 +
| height="36px" | <math>x\!</math>
 +
|-
 +
| height="36px" | <math>(x)\!</math>
 +
|-
 +
| height="36px" | <math>(x)\!</math>
 +
|}
 +
|
 +
{| align="center"
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|-
 +
| height="36px" | <math>(~)\!</math>
 +
|}
 +
|- style="height:36px"
 +
| <math>f_{15}\!</math>
 +
| <math>((~))\!</math>
 +
| <math>(~)\!</math>
 +
| <math>(~)\!</math>
 +
| <math>(~)\!</math>
 +
| <math>(~)\!</math>
 +
|}
 +
<br>
    
If the medium truly is the message, the blank slate is the innate idea.
 
If the medium truly is the message, the blank slate is the innate idea.
Jon Awbrey
12,089

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/67611"