MyWikiBiz

Changes

User:Jon Awbrey/SANDBOX (view source)

Revision as of 13:50, 24 April 2009

8,046 bytes added ,  13:50, 24 April 2009
→‎Logic of Relatives
Line 1: Line 1:  
==Logic of Relatives==
 
==Logic of Relatives==
 +
 +
<br>
    
{| align="center" cellspacing="6" width="90%"
 
{| align="center" cellspacing="6" width="90%"
Line 17: Line 19:  
|}
 
|}
   −
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black" width="90%"
+
<br>
 +
 
 +
{| align="center" cellpadding="10" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center; width:60%"
 +
|+ <math>\text{Table 3.  Relational Composition}\!</math>
 +
|-
 +
| style="border-right:1px solid black; border-bottom:1px solid black; width:25%" | &nbsp;
 +
| style="border-bottom:1px solid black; width:25%" | <math>\mathit{1}\!</math>
 +
| style="border-bottom:1px solid black; width:25%" | <math>\mathit{1}\!</math>
 +
| style="border-bottom:1px solid black; width:25%" | <math>\mathit{1}\!</math>
 +
|-
 +
| style="border-right:1px solid black" | <math>L\!</math>
 +
| <math>X\!</math>
 +
| <math>Y\!</math>
 +
| &nbsp;
 +
|-
 +
| style="border-right:1px solid black" | <math>M\!</math>
 +
| &nbsp;
 +
| <math>Y\!</math>
 +
| <math>Z\!</math>
 +
|-
 +
| style="border-right:1px solid black" | <math>L \circ M</math>
 +
| <math>X\!</math>
 +
| &nbsp;
 +
| <math>Z\!</math>
 +
|}
 +
 
 +
<br>
 +
 
 +
{| align="center" cellspacing="6" width="90%"
 +
| align="center" |
 +
<pre>
 +
Table 9.  Composite of Triadic and Dyadic Relations
 +
o---------o---------o---------o---------o---------o
 +
|        #  !1!  |  !1!  |  !1!  |  !1!  |
 +
o=========o=========o=========o=========o=========o
 +
|    G    #    T    |    U    |        |    V    |
 +
o---------o---------o---------o---------o---------o
 +
|    L    #        |    U    |    W    |        |
 +
o---------o---------o---------o---------o---------o
 +
|  G o L  #    T    |        |    W    |    V    |
 +
o---------o---------o---------o---------o---------o
 +
</pre>
 +
|}
 +
 
 +
<br>
 +
 
 +
{| align="center" cellpadding="10" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center; width:75%"
 +
|+ <math>\text{Table 9.  Composite of Triadic and Dyadic Relations}\!</math>
 +
|-
 +
| style="border-right:1px solid black; border-bottom:1px solid black; width:20%" | &nbsp;
 +
| style="border-bottom:1px solid black; width:20%" | <math>\mathit{1}\!</math>
 +
| style="border-bottom:1px solid black; width:20%" | <math>\mathit{1}\!</math>
 +
| style="border-bottom:1px solid black; width:20%" | <math>\mathit{1}\!</math>
 +
| style="border-bottom:1px solid black; width:20%" | <math>\mathit{1}\!</math>
 +
|-
 +
| style="border-right:1px solid black" | <math>G\!</math>
 +
| <math>T\!</math>
 +
| <math>U\!</math>
 +
| &nbsp;
 +
| <math>V\!</math>
 +
|-
 +
| style="border-right:1px solid black" | <math>L\!</math>
 +
| &nbsp;
 +
| <math>U\!</math>
 +
| <math>W\!</math>
 +
| &nbsp;
 +
|-
 +
| style="border-right:1px solid black" | <math>G \circ L</math>
 +
| <math>T\!</math>
 +
| &nbsp;
 +
| <math>W\!</math>
 +
| <math>V\!</math>
 +
|}
 +
 
 +
<br>
 +
 
 +
{| align="center" cellspacing="6" width="90%"
 +
| align="center" |
 +
<pre>
 +
Table 13.  Another Brand of Composition
 +
o---------o---------o---------o---------o
 +
|        #  !1!  |  !1!  |  !1!  |
 +
o=========o=========o=========o=========o
 +
|    G    #    X    |    Y    |    Z    |
 +
o---------o---------o---------o---------o
 +
|    T    #        |    Y    |    Z    |
 +
o---------o---------o---------o---------o
 +
|  G o T  #    X    |        |    Z    |
 +
o---------o---------o---------o---------o
 +
</pre>
 +
|}
 +
 
 +
<br>
 +
 
 +
{| align="center" cellpadding="10" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center; width:60%"
 +
|+ <math>\text{Table 13.  Another Brand of Composition}\!</math>
 +
|-
 +
| style="border-right:1px solid black; border-bottom:1px solid black; width:25%" | &nbsp;
 +
| style="border-bottom:1px solid black; width:25%" | <math>\mathit{1}\!</math>
 +
| style="border-bottom:1px solid black; width:25%" | <math>\mathit{1}\!</math>
 +
| style="border-bottom:1px solid black; width:25%" | <math>\mathit{1}\!</math>
 +
|-
 +
| style="border-right:1px solid black" | <math>G\!</math>
 +
| <math>X\!</math>
 +
| <math>Y\!</math>
 +
| <math>Z\!</math>
 +
|-
 +
| style="border-right:1px solid black" | <math>T\!</math>
 +
| &nbsp;
 +
| <math>Y\!</math>
 +
| <math>Z\!</math>
 +
|-
 +
| style="border-right:1px solid black" | <math>G \circ T</math>
 +
| <math>X\!</math>
 +
| &nbsp;
 +
| <math>Z\!</math>
 +
|}
 +
 
 +
<br>
 +
 
 +
{| align="center" cellspacing="6" width="90%"
 +
| align="center" |
 +
<pre>
 +
Table 15.  Conjunction Via Composition
 +
o---------o---------o---------o---------o
 +
|        #  !1!  |  !1!  |  !1!  |
 +
o=========o=========o=========o=========o
 +
|    L,  #    X    |    X    |    Y    |
 +
o---------o---------o---------o---------o
 +
|    S    #        |    X    |    Y    |
 +
o---------o---------o---------o---------o
 +
|  L , S  #    X    |        |    Y    |
 +
o---------o---------o---------o---------o
 +
</pre>
 +
|}
 +
 
 +
<br>
 +
 
 +
{| align="center" cellpadding="10" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center; width:60%"
 +
|+ <math>\text{Table 15.  Conjunction Via Composition}\!</math>
 +
|-
 +
| style="border-right:1px solid black; border-bottom:1px solid black; width:25%" | &nbsp;
 +
| style="border-bottom:1px solid black; width:25%" | <math>\mathit{1}\!</math>
 +
| style="border-bottom:1px solid black; width:25%" | <math>\mathit{1}\!</math>
 +
| style="border-bottom:1px solid black; width:25%" | <math>\mathit{1}\!</math>
 +
|-
 +
| style="border-right:1px solid black" | <math>L,\!</math>
 +
| <math>X\!</math>
 +
| <math>X\!</math>
 +
| <math>Y\!</math>
 +
|-
 +
| style="border-right:1px solid black" | <math>S\!</math>
 +
| &nbsp;
 +
| <math>X\!</math>
 +
| <math>Y\!</math>
 +
|-
 +
| style="border-right:1px solid black" | <math>L,\!S</math>
 +
| <math>X\!</math>
 +
| &nbsp;
 +
| <math>Y\!</math>
 +
|}
 +
 
 +
<br>
 +
 
 +
{| align="center" cellspacing="6" width="90%"
 +
| align="center" |
 +
<pre>
 +
Table 18.  Relational Composition P o Q
 +
o---------o---------o---------o---------o
 +
|        #  !1!  |  !1!  |  !1!  |
 +
o=========o=========o=========o=========o
 +
|    P    #    X    |    Y    |        |
 +
o---------o---------o---------o---------o
 +
|    Q    #        |    Y    |    Z    |
 +
o---------o---------o---------o---------o
 +
|  P o Q  #    X    |        |    Z    |
 +
o---------o---------o---------o---------o
 +
</pre>
 +
|}
 +
 
 +
<br>
 +
 
 +
{| align="center" cellpadding="10" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center; width:60%"
 +
|+ <math>\text{Table 18.  Relational Composition}~ P \circ Q</math>
 +
|-
 +
| style="border-right:1px solid black; border-bottom:1px solid black; width:25%" | &nbsp;
 +
| style="border-bottom:1px solid black; width:25%" | <math>\mathit{1}\!</math>
 +
| style="border-bottom:1px solid black; width:25%" | <math>\mathit{1}\!</math>
 +
| style="border-bottom:1px solid black; width:25%" | <math>\mathit{1}\!</math>
 +
|-
 +
| style="border-right:1px solid black" | <math>P\!</math>
 +
| <math>X\!</math>
 +
| <math>Y\!</math>
 
| &nbsp;
 
| &nbsp;
 +
|-
 +
| style="border-right:1px solid black" | <math>Q\!</math>
 +
| &nbsp;
 +
| <math>Y\!</math>
 +
| <math>Z\!</math>
 +
|-
 +
| style="border-right:1px solid black" | <math>P \circ Q</math>
 +
| <math>X\!</math>
 +
| &nbsp;
 +
| <math>Z\!</math>
 +
|}
 +
 +
<br>
 +
 +
{| align="center" cellspacing="6" width="90%"
 +
| align="center" |
 +
<pre>
 +
Table 20.  Arrow:  J(L(u, v)) = K(Ju, Jv)
 +
o---------o---------o---------o---------o
 +
|        #    J    |    J    |    J    |
 +
o=========o=========o=========o=========o
 +
|    K    #    X    |    X    |    X    |
 +
o---------o---------o---------o---------o
 +
|    L    #    Y    |    Y    |    Y    |
 +
o---------o---------o---------o---------o
 +
</pre>
 
|}
 
|}
 +
 +
<br>
 +
 +
{| align="center" cellpadding="10" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center; width:60%"
 +
|+ <math>\text{Table 20.  Arrow Equation:}~~ J(L(u, v)) = K(Ju, Jv)</math>
 +
|-
 +
| style="border-right:1px solid black; border-bottom:1px solid black; width:25%" | &nbsp;
 +
| style="border-bottom:1px solid black; width:25%" | <math>J\!</math>
 +
| style="border-bottom:1px solid black; width:25%" | <math>J\!</math>
 +
| style="border-bottom:1px solid black; width:25%" | <math>J\!</math>
 +
|-
 +
| style="border-right:1px solid black" | <math>K\!</math>
 +
| <math>X\!</math>
 +
| <math>X\!</math>
 +
| <math>X\!</math>
 +
|-
 +
| style="border-right:1px solid black" | <math>L\!</math>
 +
| <math>Y\!</math>
 +
| <math>Y\!</math>
 +
| <math>Y\!</math>
 +
|}
 +
 +
<br>
    
==Grammar Stuff==
 
==Grammar Stuff==
Jon Awbrey
12,089

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/85361...85431"