User:Jon Awbrey/SANDBOX - Revision history

Jon Awbrey: /* TextTT */

2025-10-14T11:18:59Z

TextTT

Jon Awbrey: + Format Samples

2025-10-14T11:02:11Z

+ Format Samples

Jon Awbrey: /* Logic of Relatives */

2009-04-24T13:50:21Z

Logic of Relatives

Jon Awbrey: /* Logic of Relatives */

2009-04-24T13:34:24Z

Logic of Relatives

Jon Awbrey: /* Logic of Relatives */

2009-04-24T12:58:40Z

Logic of Relatives

Jon Awbrey: /* Logic of Relatives */

2009-04-24T12:40:33Z

Logic of Relatives

Jon Awbrey: /* Logic of Relatives */

2009-04-24T03:50:12Z

Logic of Relatives

Jon Awbrey: /* Logic of Relatives */

2009-04-24T03:38:11Z

Logic of Relatives

Jon Awbrey: /* Logic of Relatives */

2009-04-24T03:22:11Z

Logic of Relatives

Jon Awbrey: /* Logic of Relatives */

2009-04-24T03:10:36Z

Logic of Relatives

@@ Line 18: / Line 18: @@
 ===TextTT===
-For the initial case <math>k = 0,</math> the bound connective is an empty closure, an expression taking one of the forms <math>\texttt{()}, \texttt{(~)}, \texttt{([[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]))}, \ldots</math> with any number of spaces between the parentheses, all of which have the same denotation among propositions.
+For the initial case <math>k = 0,</math> the bound connective is an empty closure, an expression taking one of the forms <math>\texttt{()}, \texttt{( )}, \texttt{(  )}, \ldots</math> with any number of spaces between the parentheses, all of which have the same denotation among propositions.
 For the generic case <math>k > 0,</math> the bound connective takes the form <math>\texttt{(} s_1 \texttt{,} \ldots \texttt{,} s_k \texttt{)}.</math>

@@ Line 1: / Line 1: @@
 ==Logic of Relatives==
@@ Line 309: / Line 342: @@
 {| align="center" border="0" cellpadding="8" cellspacing="0" style="background:whitesmoke; width:100%"
 | width="20%" | <math>\operatorname{Sentence}</math>
-| width="20%" | <math>\xrightarrow[\operatorname{~~~~~~~~~~}]{\operatorname{Parse}}</math>
+| width="20%" | <math>\xrightarrow[\operatorname{11:02, 14 October 2025 (UTC)11:02, 14 October 2025 (UTC)}]{\operatorname{Parse}}</math>
 | width="20%" | <math>\operatorname{Graph}</math>
-| width="20%" | <math>\xrightarrow[\operatorname{~~~~~~~~~~}]{\operatorname{Denotation}}</math>
+| width="20%" | <math>\xrightarrow[\operatorname{11:02, 14 October 2025 (UTC)11:02, 14 October 2025 (UTC)}]{\operatorname{Denotation}}</math>
 | width="20%" | <math>\operatorname{Proposition}</math>
 |}
@@ Line 318: / Line 351: @@
 {| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 | width="20%" | <math>s_j\!</math>
-| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
+| width="20%" | <math>\xrightarrow{\operatorname{11:02, 14 October 2025 (UTC)11:02, 14 October 2025 (UTC)}}</math>
 | width="20%" | <math>C_j\!</math>
-| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
+| width="20%" | <math>\xrightarrow{\operatorname{11:02, 14 October 2025 (UTC)11:02, 14 October 2025 (UTC)}}</math>
 | width="20%" | <math>q_j\!</math>
 |}
@@ Line 327: / Line 360: @@
 {| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 | width="20%" | <math>\operatorname{Conc}^0</math>
-| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
+| width="20%" | <math>\xrightarrow{\operatorname{11:02, 14 October 2025 (UTC)11:02, 14 October 2025 (UTC)}}</math>
 | width="20%" | <math>\operatorname{Node}^0</math>
-| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
+| width="20%" | <math>\xrightarrow{\operatorname{11:02, 14 October 2025 (UTC)11:02, 14 October 2025 (UTC)}}</math>
 | width="20%" | <math>\underline{1}</math>
 |-
 | width="20%" | <math>\operatorname{Conc}^k_j s_j</math>
-| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
+| width="20%" | <math>\xrightarrow{\operatorname{11:02, 14 October 2025 (UTC)11:02, 14 October 2025 (UTC)}}</math>
 | width="20%" | <math>\operatorname{Node}^k_j C_j</math>
-| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
+| width="20%" | <math>\xrightarrow{\operatorname{11:02, 14 October 2025 (UTC)11:02, 14 October 2025 (UTC)}}</math>
 | width="20%" | <math>\operatorname{Conj}^k_j q_j</math>
 |}
@@ Line 342: / Line 375: @@
 {| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 | width="20%" | <math>\operatorname{Surc}^0</math>
-| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
+| width="20%" | <math>\xrightarrow{\operatorname{11:02, 14 October 2025 (UTC)11:02, 14 October 2025 (UTC)}}</math>
 | width="20%" | <math>\operatorname{Lobe}^0</math>
-| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
+| width="20%" | <math>\xrightarrow{\operatorname{11:02, 14 October 2025 (UTC)11:02, 14 October 2025 (UTC)}}</math>
 | width="20%" | <math>\underline{0}</math>
 |-
 | width="20%" | <math>\operatorname{Surc}^k_j s_j</math>
-| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
+| width="20%" | <math>\xrightarrow{\operatorname{11:02, 14 October 2025 (UTC)11:02, 14 October 2025 (UTC)}}</math>
 | width="20%" | <math>\operatorname{Lobe}^k_j C_j</math>
-| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
+| width="20%" | <math>\xrightarrow{\operatorname{11:02, 14 October 2025 (UTC)11:02, 14 October 2025 (UTC)}}</math>
 | width="20%" | <math>\operatorname{Surj}^k_j q_j</math>
 |}

@@ Line 246: / Line 246: @@
 |+ <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:20%" | &nbsp;
+| style="border-right:1px solid black; border-bottom:1px solid black; width:25%" | &nbsp;
-| style="border-bottom:1px solid black; width:20%" | <math>J\!</math>
+| style="border-bottom:1px solid black; width:25%" | <math>J\!</math>
-| style="border-bottom:1px solid black; width:20%" | <math>J\!</math>
+| style="border-bottom:1px solid black; width:25%" | <math>J\!</math>
-| style="border-bottom:1px solid black; width:20%" | <math>J\!</math>
+| style="border-bottom:1px solid black; width:25%" | <math>J\!</math>
 |-
 | style="border-right:1px solid black" | <math>K\!</math>

@@ Line 22: / Line 22: @@
 {| 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%"
-|+ '''Table 3.  Relational Composition'''
+|+ <math>\text{Table 3.  Relational Composition}\!</math>
 |-
 | style="border-right:1px solid black; border-bottom:1px solid black; width:25%" | &nbsp;
@@ Line 65: / Line 65: @@
 <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:70%"
+{| 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%"
-|+ '''Table 9.  Composite of Triadic and Dyadic Relations'''
+|+ <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;
@@ Line 114: / Line 114: @@
 {| 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%"
-|+ '''Table 13.  Another Brand of Composition'''
+|+ <math>\text{Table 13.  Another Brand of Composition}\!</math>
 |-
 | style="border-right:1px solid black; border-bottom:1px solid black; width:25%" | &nbsp;
@@ Line 158: / Line 158: @@
 {| 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%"
-|+ '''Table 15.  Conjunction Via Composition'''
+|+ <math>\text{Table 15.  Conjunction Via Composition}\!</math>
 |-
 | style="border-right:1px solid black; border-bottom:1px solid black; width:25%" | &nbsp;
@@ Line 202: / Line 202: @@
 {| 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%"
-|+ '''Table 18.  Relational Composition P o Q'''
+|+ <math>\text{Table 18.  Relational Composition}~ P \circ Q</math>
 |-
 | style="border-right:1px solid black; border-bottom:1px solid black; width:25%" | &nbsp;
@@ Line 243: / Line 243: @@
 <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:70%"
+{| 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>
 |-

@@ Line 239: / Line 239: @@
 o---------o---------o---------o---------o
 </pre>
 |}

@@ Line 223: / Line 223: @@
 | &nbsp;
 | <math>Z\!</math>
 |}

@@ Line 179: / Line 179: @@
 | &nbsp;
 | <math>Y\!</math>
 |}

@@ Line 91: / Line 91: @@
 | <math>W\!</math>
 | <math>V\!</math>
 |}

@@ Line 61: / Line 61: @@
 o---------o---------o---------o---------o---------o
 </pre>
 |}