12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday November 27, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 18:57, 4 November 2008
, 18:57, 4 November 2008no edit summary
To study the differences between these two versions of transitivity within what is locally a familiar context, let's view the propositional forms involved as if they were elementary cellular automaton rules, resulting in the following Table.
To study the differences between these two versions of transitivity within what is locally a familiar context, let's view the propositional forms involved as if they were elementary cellular automaton rules, resulting in the following Table.
<pre>
Table 21. Composite and Compiled Order Relations
o---------o------------o-----------------o----------------o-------------o
| L_1 ` ` | L_2 ` ` ` `| L_3 ` ` ` ` ` ` | L_4 ` ` ` ` ` `| L_5 ` ` ` ` |
| ` ` ` ` | ` ` ` ` ` `| ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
| Decimal | Binary` ` `| Vector` ` ` ` ` | Cactus` ` ` ` `| Order ` ` ` |
o---------o------------o-----------------o----------------o-------------o
| ` ` ` ` | ` ` ` ` `p : 1 1 1 1 0 0 0 0 | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
| ` ` ` ` | ` ` ` ` `q : 1 1 0 0 1 1 0 0 | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
| ` ` ` ` | ` ` ` ` `r : 1 0 1 0 1 0 1 0 | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
o---------o------------o-----------------o----------------o-------------o
| ` ` ` ` | ` ` ` ` ` `| ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
| q_207 ` | q_11001111 | 1 1 0 0 1 1 1 1 | (p` `(q)) ` ` `| p =< q` ` ` |
| ` ` ` ` | ` ` ` ` ` `| ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
| q_187 ` | q_10111011 | 1 0 1 1 1 0 1 1 | ` ` `(q ` (r)) | q =< r` ` ` |
| ` ` ` ` | ` ` ` ` ` `| ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
| q_175 ` | q_10101111 | 1 0 1 0 1 1 1 1 | (p` ` ` ` (r)) | p =< r` ` ` |
| ` ` ` ` | ` ` ` ` ` `| ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
| q_139 ` | q_10001011 | 1 0 0 0 1 0 1 1 | (p (q))(q (r)) | p =< q =< r |
| ` ` ` ` | ` ` ` ` ` `| ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` `| ` ` ` ` ` ` |
o---------o------------o-----------------o----------------o-------------o
</pre>
Taking up another angle of incidence by way of extra perspective, let us now reflect on the venn diagrams of our four propositions.
Taking up another angle of incidence by way of extra perspective, let us now reflect on the venn diagrams of our four propositions.
<pre>
o-----------------------------------------------------------o
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^o-------------o^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^/` ` ` ` ` ` ` ` `\^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^/` ` ` ` ` ` ` ` ` ` `\^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^o` ` ` ` ` ` ` ` ` ` ` ` `o^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` P ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ o--o----------o ` o----------o--o ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^/^ ^ \ ^ ^ ^ ^ ^\`/` ` ` ` ` / ^ ^\^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ / ^ ^ ^\^ ^ ^ ^ ^ o ` ` ` ` `/^ ^ ^ \ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^/^ ^ ^ ^ \ ^ ^ ^ ^/^\` ` ` ` / ^ ^ ^ ^\^ ^ ^ ^ ^ |
| ^ ^ ^ ^ / ^ ^ ^ ^ ^\^ ^ ^ / ^ \ ` ` `/^ ^ ^ ^ ^ \ ^ ^ ^ ^ |
| ^ ^ ^ ^/^ ^ ^ ^ ^ ^ \ ^ ^/^ ^ ^\` ` / ^ ^ ^ ^ ^ ^\^ ^ ^ ^ |
| ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^o--o-------o--o^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ^ ^ ^ Q ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ R ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
| ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^ ^\^ ^ ^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ |
| ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ \ ^ / ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ |
| ^ ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^ ^\^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^/^\^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ o-------------o ^ o-------------o ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
o-----------------------------------------------------------o
q_207. (p (q))
</pre>
<pre>
o-----------------------------------------------------------o
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^o-------------o^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ ^ ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^o^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^o^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ P ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ o--o----------o ^ o----------o--o ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^/` ` \ ` ` ` ` `\^/^ ^ ^ ^ ^ / ^ ^\^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ / ` ` `\` ` ` ` ` o ^ ^ ^ ^ ^/^ ^ ^ \ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^/` ` ` ` \ ` ` ` `/^\^ ^ ^ ^ / ^ ^ ^ ^\^ ^ ^ ^ ^ |
| ^ ^ ^ ^ / ` ` ` ` `\` ` ` / ^ \ ^ ^ ^/^ ^ ^ ^ ^ \ ^ ^ ^ ^ |
| ^ ^ ^ ^/` ` ` ` ` ` \ ` `/^ ^ ^\^ ^ / ^ ^ ^ ^ ^ ^\^ ^ ^ ^ |
| ^ ^ ^ o ` ` ` ` ` ` `o--o-------o--o^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ` ` ` Q ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ R ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ o ` ` ` ` ` ` ` ` o ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
| ^ ^ ^ ^\` ` ` ` ` ` ` ` `\^ ^ ^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ |
| ^ ^ ^ ^ \ ` ` ` ` ` ` ` ` \ ^ / ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ |
| ^ ^ ^ ^ ^\` ` ` ` ` ` ` ` `\^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ \ ` ` ` ` ` ` ` ` o ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^\` ` ` ` ` ` ` `/^\^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ o-------------o ^ o-------------o ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
o-----------------------------------------------------------o
q_187. (q (r))
</pre>
<pre>
o-----------------------------------------------------------o
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^o-------------o^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^/` ` ` ` ` ` ` ` `\^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^/` ` ` ` ` ` ` ` ` ` `\^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^o` ` ` ` ` ` ` ` ` ` ` ` `o^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` P ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ o--o----------o ` o----------o--o ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^/^ ^ \ ` ` ` ` `\`/^ ^ ^ ^ ^ / ^ ^\^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ / ^ ^ ^\` ` ` ` ` o ^ ^ ^ ^ ^/^ ^ ^ \ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^/^ ^ ^ ^ \ ` ` ` `/^\^ ^ ^ ^ / ^ ^ ^ ^\^ ^ ^ ^ ^ |
| ^ ^ ^ ^ / ^ ^ ^ ^ ^\` ` ` / ^ \ ^ ^ ^/^ ^ ^ ^ ^ \ ^ ^ ^ ^ |
| ^ ^ ^ ^/^ ^ ^ ^ ^ ^ \ ` `/^ ^ ^\^ ^ / ^ ^ ^ ^ ^ ^\^ ^ ^ ^ |
| ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^o--o-------o--o^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ^ ^ ^ Q ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ R ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
| ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^ ^\^ ^ ^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ |
| ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ \ ^ / ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ |
| ^ ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^ ^\^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^/^\^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ o-------------o ^ o-------------o ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
o-----------------------------------------------------------o
q_175. (p (r))
</pre>
<pre>
o-----------------------------------------------------------o
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^o-------------o^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^/` ` ` ` ` ` ` ` `\^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^/` ` ` ` ` ` ` ` ` ` `\^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^o` ` ` ` ` ` ` ` ` ` ` ` `o^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` P ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ o--o----------o ` o----------o--o ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^/` ` \ ` ` ` ` `\`/` ` ` ` ` / ^ ^\^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ / ` ` `\` ` ` ` ` o ` ` ` ` `/^ ^ ^ \ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^/` ` ` ` \ ` ` ` `/^\` ` ` ` / ^ ^ ^ ^\^ ^ ^ ^ ^ |
| ^ ^ ^ ^ / ` ` ` ` `\` ` ` / ^ \ ` ` `/^ ^ ^ ^ ^ \ ^ ^ ^ ^ |
| ^ ^ ^ ^/` ` ` ` ` ` \ ` `/^ ^ ^\` ` / ^ ^ ^ ^ ^ ^\^ ^ ^ ^ |
| ^ ^ ^ o ` ` ` ` ` ` `o--o-------o--o^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ` ` ` Q ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ R ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ | ` ` ` ` ` ` ` ` | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
| ^ ^ ^ o ` ` ` ` ` ` ` ` o ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
| ^ ^ ^ ^\` ` ` ` ` ` ` ` `\^ ^ ^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ |
| ^ ^ ^ ^ \ ` ` ` ` ` ` ` ` \ ^ / ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ |
| ^ ^ ^ ^ ^\` ` ` ` ` ` ` ` `\^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ \ ` ` ` ` ` ` ` ` o ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^\` ` ` ` ` ` ` `/^\^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ o-------------o ^ o-------------o ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
o-----------------------------------------------------------o
q_139. (p (q))(q (r))
</pre>
Among other things, these images make it visually obvious that the constraint on the three boolean variables ''p'', ''q'', ''r'' that we indicate by asserting either of the forms "(p (q))(q (r))" or "''p'' ≤ ''q'' ≤ ''r''" is one that implies a constraint on the two boolean variables ''p'', ''r'' that we indicate by either of the forms "(p (r))" or "''p'' ≤ ''r''", but that it imposes additional constraints on these variables that are not captured by the illative conclusion.
Among other things, these images make it visually obvious that the constraint on the three boolean variables ''p'', ''q'', ''r'' that we indicate by asserting either of the forms "(p (q))(q (r))" or "''p'' ≤ ''q'' ≤ ''r''" is one that implies a constraint on the two boolean variables ''p'', ''r'' that we indicate by either of the forms "(p (r))" or "''p'' ≤ ''r''", but that it imposes additional constraints on these variables that are not captured by the illative conclusion.
Thus we obtain the following four relational data tables for the propositions that we are looking at in Example 2.
Thus we obtain the following four relational data tables for the propositions that we are looking at in Example 2.
<pre>
[| q_207 |] = [| p =< q |]
o---------o---------o---------o
|` ` p ` `|` ` q ` `|` ` r ` `|
o---------o---------o---------o
|` ` 0 ` ` ` ` 0 ` ` ` ` 0 ` `|
|` ` 0 ` ` ` ` 0 ` ` ` ` 1 ` `|
|` ` 0 ` ` ` ` 1 ` ` ` ` 0 ` `|
|` ` 0 ` ` ` ` 1 ` ` ` ` 1 ` `|
|` ` 1 ` ` ` ` 1 ` ` ` ` 0 ` `|
|` ` 1 ` ` ` ` 1 ` ` ` ` 1 ` `|
o-----------------------------o
</pre>
<pre>
[| q_187 |] = [| q =< r |]
o---------o---------o---------o
|` ` p ` `|` ` q ` `|` ` r ` `|
o---------o---------o---------o
|` ` 0 ` ` ` ` 0 ` ` ` ` 0 ` `|
|` ` 0 ` ` ` ` 0 ` ` ` ` 1 ` `|
|` ` 0 ` ` ` ` 1 ` ` ` ` 1 ` `|
|` ` 1 ` ` ` ` 0 ` ` ` ` 0 ` `|
|` ` 1 ` ` ` ` 0 ` ` ` ` 1 ` `|
|` ` 1 ` ` ` ` 1 ` ` ` ` 1 ` `|
o-----------------------------o
</pre>
<pre>
[| q_175 |] = [| p =< r |]
o---------o---------o---------o
|` ` p ` `|` ` q ` `|` ` r ` `|
o---------o---------o---------o
|` ` 0 ` ` ` ` 0 ` ` ` ` 0 ` `|
|` ` 0 ` ` ` ` 0 ` ` ` ` 1 ` `|
|` ` 0 ` ` ` ` 1 ` ` ` ` 0 ` `|
|` ` 0 ` ` ` ` 1 ` ` ` ` 1 ` `|
|` ` 1 ` ` ` ` 0 ` ` ` ` 1 ` `|
|` ` 1 ` ` ` ` 1 ` ` ` ` 1 ` `|
o-----------------------------o
</pre>
<pre>
[| q_139 |] = [| p =< q =< r |]
o---------o---------o---------o
|` ` p ` `|` ` q ` `|` ` r ` `|
o---------o---------o---------o
|` ` 0 ` ` ` ` 0 ` ` ` ` 0 ` `|
|` ` 0 ` ` ` ` 0 ` ` ` ` 1 ` `|
|` ` 0 ` ` ` ` 1 ` ` ` ` 1 ` `|
|` ` 1 ` ` ` ` 1 ` ` ` ` 1 ` `|
o-----------------------------o
</pre>
In the medium of these unassuming examples, we begin to see the activities of logical inference and methodical inquiry as ''information clarifying operations'' (ICO's).
In the medium of these unassuming examples, we begin to see the activities of logical inference and methodical inquiry as ''information clarifying operations'' (ICO's).
For ease of reference during the rest of this discussion, let us refer to the propositional form ''f'' : '''B'''<sup>3</sup> → '''B''' such that ''f''(''p'', ''q'', ''r'') = ''q''<sub>139</sub>(''p'', ''q'', ''r'') = (p (q))(q (r)) as the ''syllogism mapping'', written as ''syll'' : '''B'''<sup>3</sup> → '''B''', and let us refer to the fiber ''syll''<sup>−1</sup>(1) ⊆ '''B'''<sup>3</sup> as the ''syllogism relation'', written as ''Syll'' ⊆ '''B'''<sup>3</sup>. Table 25-a shows ''Syll'' as a relational dataset.
For ease of reference during the rest of this discussion, let us refer to the propositional form ''f'' : '''B'''<sup>3</sup> → '''B''' such that ''f''(''p'', ''q'', ''r'') = ''q''<sub>139</sub>(''p'', ''q'', ''r'') = (p (q))(q (r)) as the ''syllogism mapping'', written as ''syll'' : '''B'''<sup>3</sup> → '''B''', and let us refer to the fiber ''syll''<sup>−1</sup>(1) ⊆ '''B'''<sup>3</sup> as the ''syllogism relation'', written as ''Syll'' ⊆ '''B'''<sup>3</sup>. Table 25-a shows ''Syll'' as a relational dataset.
<pre>
Table 25-a. Syllogism Relation
o---------o---------o---------o
|` ` p ` `|` ` q ` `|` ` r ` `|
o---------o---------o---------o
|` ` 0 ` ` ` ` 0 ` ` ` ` 0 ` `|
|` ` 0 ` ` ` ` 0 ` ` ` ` 1 ` `|
|` ` 0 ` ` ` ` 1 ` ` ` ` 1 ` `|
|` ` 1 ` ` ` ` 1 ` ` ` ` 1 ` `|
o-----------------------------o
</pre>
One of the first questions that we might ask about a 3-adic relation, in this case ''Syll'', is whether it is ''determined by'' its 2-adic projections. I will illustrate what this means in the present case.
One of the first questions that we might ask about a 3-adic relation, in this case ''Syll'', is whether it is ''determined by'' its 2-adic projections. I will illustrate what this means in the present case.
Table 25-b repeats the relation ''Syll'' in the first column, listing its 3-tuples in bit-string form, followed by the 2-adic or ''planar'' projections of ''Syll'' in the next three columns. For instance, ''Syll''<sub>''pq''</sub> is the 2-adic projection of ''Syll'' on the ''pq'' plane that is arrived at by deleting the ''r'' column and counting each 2-tuple that results just one time. Likewise, ''Syll''<sub>''pr''</sub> is obtained by deleting the ''q'' column and ''Syll''<sub>''qr''</sub> is derived by deleting the p column, ignoring whatever duplicate pairs may result. The final row of the right three columns gives the propositions of the form ''f'' : '''B'''<sup>2</sup> → '''B''' that indicate the 2-adic relations that result from these projections.
Table 25-b repeats the relation ''Syll'' in the first column, listing its 3-tuples in bit-string form, followed by the 2-adic or ''planar'' projections of ''Syll'' in the next three columns. For instance, ''Syll''<sub>''pq''</sub> is the 2-adic projection of ''Syll'' on the ''pq'' plane that is arrived at by deleting the ''r'' column and counting each 2-tuple that results just one time. Likewise, ''Syll''<sub>''pr''</sub> is obtained by deleting the ''q'' column and ''Syll''<sub>''qr''</sub> is derived by deleting the p column, ignoring whatever duplicate pairs may result. The final row of the right three columns gives the propositions of the form ''f'' : '''B'''<sup>2</sup> → '''B''' that indicate the 2-adic relations that result from these projections.
<pre>
Table 25-b. Dyadic Projections of the Syllogism Relation
o-------------o-------------o-------------o-------------o
| ` `Syll ` ` | ` Syll_pq ` | ` Syll_pr ` | ` Syll_qr ` |
o-------------o-------------o-------------o-------------o
| ` ` 000 ` ` | ` ` 00 ` ` `| ` ` 00 ` ` `| ` ` 00 ` ` `|
| ` ` 001 ` ` | ` ` 00 ` ` `| ` ` 01 ` ` `| ` ` 01 ` ` `|
| ` ` 011 ` ` | ` ` 01 ` ` `| ` ` 01 ` ` `| ` ` 11 ` ` `|
| ` ` 111 ` ` | ` ` 11 ` ` `| ` ` 11 ` ` `| ` ` 11 ` ` `|
o-------------o-------------o-------------o-------------o
| p =< q =< r | ` (p (q)) ` | ` (p (r)) ` | ` (q (r)) ` |
o-------------o-------------o-------------o-------------o
</pre>
Let us make the simple observation that taking a projection, in our framework, deleting a column from a relational table, is like taking a derivative in differential calculus. What it means is that our attempt to return to the integral from whence the derivative was derived will in general encounter an indefinite variation on account of the circumstance that real information may have been destroyed by the derivation.
Let us make the simple observation that taking a projection, in our framework, deleting a column from a relational table, is like taking a derivative in differential calculus. What it means is that our attempt to return to the integral from whence the derivative was derived will in general encounter an indefinite variation on account of the circumstance that real information may have been destroyed by the derivation.
Figure 28-a shows the familiar picture of a boolean 3-cube, wherein the points of '''B'''<sup>3</sup> are coordinated as bit strings of length three. Looking at the functions ''f'' : '''B'''<sup>3</sup> → '''B''' and the relations ''L'' ⊆ '''B'''<sup>3</sup> on this pattern, one views the construction of either type of object as a matter of coloring the nodes of the 3-cube with choices from a pair of colors that stipulate which points are in the relation ''L'' = <nowiki>[|</nowiki>''f''<nowiki>|]</nowiki> and which points are out of it. Bowing to common convention, we may use the color "1" for points that are "in" a given relation and the color "0" for points that are "out" of that same relation. However, it will be more convenient here to indicate the former case by writing the coordinates in the place of the node and to indicate the latter case by plotting the point as an unlabeled node "o".
Figure 28-a shows the familiar picture of a boolean 3-cube, wherein the points of '''B'''<sup>3</sup> are coordinated as bit strings of length three. Looking at the functions ''f'' : '''B'''<sup>3</sup> → '''B''' and the relations ''L'' ⊆ '''B'''<sup>3</sup> on this pattern, one views the construction of either type of object as a matter of coloring the nodes of the 3-cube with choices from a pair of colors that stipulate which points are in the relation ''L'' = <nowiki>[|</nowiki>''f''<nowiki>|]</nowiki> and which points are out of it. Bowing to common convention, we may use the color "1" for points that are "in" a given relation and the color "0" for points that are "out" of that same relation. However, it will be more convenient here to indicate the former case by writing the coordinates in the place of the node and to indicate the latter case by plotting the point as an unlabeled node "o".
<pre>
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` 111 ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` /|\ ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `/`|`\` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` / `|` \ ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `/` `|` `\` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `/` ` `|` ` `\` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` / ` ` `|` ` ` \ ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` 110 ` ` 101 ` ` 011 ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|\ ` ` / \ ` ` /|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|`\` `/` `\` `/`|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` \ / ` ` \ / `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` `\` ` ` `/` `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` / \ ` ` / \ `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|`/` `\` `/` `\`|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|/ ` ` \ / ` ` \|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` 100 ` ` 010 ` ` 001 ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` \ ` ` `|` ` ` / ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `\` ` `|` ` `/` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` \ ` `|` ` / ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `\` `|` `/` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` \ `|` / ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `\`|`/` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` \|/ ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` 000 ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-------------------------------------------------o
Figure 28-a. Boolean 3-Cube B^3
</pre>
Table 28-b shows the 3-adic relation ''Syll'' ⊆ '''B'''<sup>3</sup> again, and Figure 28-c shows it plotted on a 3-cube template.
Table 28-b shows the 3-adic relation ''Syll'' ⊆ '''B'''<sup>3</sup> again, and Figure 28-c shows it plotted on a 3-cube template.
<pre>
Table 28-b. Syll c B^3
o-----------------------o
| ` p ` ` ` q ` ` ` r ` |
o-----------------------o
| ` 0 ` ` ` 0 ` ` ` 0 ` |
| ` 0 ` ` ` 0 ` ` ` 1 ` |
| ` 0 ` ` ` 1 ` ` ` 1 ` |
| ` 1 ` ` ` 1 ` ` ` 1 ` |
o-----------------------o
</pre>
<pre>
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` 111 ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` /|\ ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `/`|`\` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` / `|` \ ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `/` `|` `\` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `/` ` `|` ` `\` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` / ` ` `|` ` ` \ ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `o` ` ` `o` ` ` 011 ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|\ ` ` / \ ` ` /|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|`\` `/` `\` `/`|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` \ / ` ` \ / `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` `\` ` ` `/` `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` / \ ` ` / \ `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|`/` `\` `/` `\`|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|/ ` ` \ / ` ` \|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `o` ` ` `o` ` ` 001 ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` \ ` ` `|` ` ` / ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `\` ` `|` ` `/` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` \ ` `|` ` / ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `\` `|` `/` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` \ `|` / ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `\`|`/` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` \|/ ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` 000 ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-------------------------------------------------o
Figure 28-c. Triadic Relation Syll c B^3
</pre>
We return once more to the plane projections of ''Syll'' ⊆ '''B'''<sup>3</sup>.
We return once more to the plane projections of ''Syll'' ⊆ '''B'''<sup>3</sup>.
<pre>
Table 29-a. Syll c B^3
o-----------------------o
| ` p ` ` ` q ` ` ` r ` |
o-----------------------o
| ` 0 ` ` ` 0 ` ` ` 0 ` |
| ` 0 ` ` ` 0 ` ` ` 1 ` |
| ` 0 ` ` ` 1 ` ` ` 1 ` |
| ` 1 ` ` ` 1 ` ` ` 1 ` |
o-----------------------o
</pre>
<pre>
Table 29-b. Dyadic Projections of Syll
o-----------o o-----------o o-----------o
| `Syll_12` | | `Syll_13` | | `Syll_23` |
o-----------o o-----------o o-----------o
| ` p ` q ` | | ` p ` r ` | | ` q ` r ` |
o-----------o o-----------o o-----------o
| ` 0 ` 0 ` | | ` 0 ` 0 ` | | ` 0 ` 0 ` |
| ` 0 ` 1 ` | | ` 0 ` 1 ` | | ` 0 ` 1 ` |
| ` 1 ` 1 ` | | ` 1 ` 1 ` | | ` 1 ` 1 ` |
o-----------o o-----------o o-----------o
| `(p (q))` | | `(p (r))` | | `(q (r))` |
o-----------o o-----------o o-----------o
</pre>
In showing the 2-adic projections of a 3-adic relation ''L'' ⊆ '''B'''<sup>3</sup>, I will translate the coordinates of the points in each relation to the plane of the projection, there dotting out with a dot "." the bit of the bit string that is out of place on that plane.
In showing the 2-adic projections of a 3-adic relation ''L'' ⊆ '''B'''<sup>3</sup>, I will translate the coordinates of the points in each relation to the plane of the projection, there dotting out with a dot "." the bit of the bit string that is out of place on that plane.
Figure 29-c shows ''Syll'' and its three 2-adic projections:
Figure 29-c shows ''Syll'' and its three 2-adic projections:
<pre>
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` 111 ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` /|\ ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `/`|`\` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` / `|` \ ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `/` `|` `\` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `/` ` `|` ` `\` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` / ` ` `|` ` ` \ ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `o` ` ` `o` ` ` 011 ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|\ ` ` / \ ` ` /|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|`\` `/` `\` `/`|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` \ / ` ` \ / `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` `\` ` ` `/` `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` / \ ` ` / \ `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|`/` `\` `/` `\`|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|/ ` ` \ / ` ` \|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `o` ` ` `o` ` ` 001 ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` \ ` ` `|` ` ` / ` ` ` ` ` ` ` ` |
| ` ` 11. ` ` ` ` `\` ` `|` ` `/` ` ` ` ` .11 ` ` |
| ` ` `|\ ` ` ` ` ` \ ` `|` ` / ` ` ` ` ` /|` ` ` |
| ` ` `|`\` ` ` ` ` `\` `|` `/` ` ` ` ` `/`|` ` ` |
| ` ` `|` \ ` ` ` ` ` \ `|` / ` ` ` ` ` / `|` ` ` |
| ` ` `|` `\` ` ` ` ` `\`|`/` ` ` ` ` `/` `|` ` ` |
| ` ` `|` ` \ ` ` ` ` ` \|/ ` ` ` ` ` / ` `|` ` ` |
| ` ` `|` ` `\` ` ` ` ` 000 ` ` ` ` `/` ` `|` ` ` |
| ` ` `|` ` ` \ ` ` ` ` ` ` ` ` ` ` / ` ` `|` ` ` |
| ` ` `o` ` ` 01. ` ` ` ` ` ` ` ` `o` ` ` .01 ` ` |
| ` ` ` \ ` ` `|` ` ` ` ` ` ` ` ` `|` ` ` / ` ` ` |
| ` ` ` `\` ` `|` ` ` ` ` ` ` ` ` `|` ` `/` ` ` ` |
| ` ` ` ` \ ` `|` ` ` ` ` ` ` ` ` `|` ` / ` ` ` ` |
| ` ` ` ` `\` `|` ` ` ` 1.1 ` ` ` `|` `/` ` ` ` ` |
| ` ` ` ` ` \ `|` ` ` ` / \ ` ` ` `|` / ` ` ` ` ` |
| ` ` ` ` ` `\`|` ` ` `/` `\` ` ` `|`/` ` ` ` ` ` |
| ` ` ` ` ` ` \|` ` ` / ` ` \ ` ` `|/ ` ` ` ` ` ` |
| ` ` ` ` ` ` 00. ` `/` ` ` `\` ` .00 ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` / ` ` ` ` \ ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `/` ` ` ` ` `\` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` / ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` 0.1 ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` 0.0 ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-------------------------------------------------o
Figure 29-c. Syll c B^3 and its Dyadic Projections
</pre>
We now compute the tacit extensions of the 2-adic projections of ''Syll'', alias ''q''<sub>139</sub>, and this makes manifest its relationship to the other functions and fibers, namely, ''q''<sub>175</sub>, ''q''<sub>187</sub>, ''q''<sub>207</sub>.
We now compute the tacit extensions of the 2-adic projections of ''Syll'', alias ''q''<sub>139</sub>, and this makes manifest its relationship to the other functions and fibers, namely, ''q''<sub>175</sub>, ''q''<sub>187</sub>, ''q''<sub>207</sub>.
<pre>
Table 30-a. Syll c B^3
o-----------------------o
| ` p ` ` ` q ` ` ` r ` |
o-----------------------o
| ` 0 ` ` ` 0 ` ` ` 0 ` |
| ` 0 ` ` ` 0 ` ` ` 1 ` |
| ` 0 ` ` ` 1 ` ` ` 1 ` |
| ` 1 ` ` ` 1 ` ` ` 1 ` |
o-----------------------o
</pre>
<pre>
Table 30-b. Dyadic Projections of Syll
o-----------o o-----------o o-----------o
| `Syll_12` | | `Syll_13` | | `Syll_23` |
o-----------o o-----------o o-----------o
| ` p ` q ` | | ` p ` r ` | | ` q ` r ` |
o-----------o o-----------o o-----------o
| ` 0 ` 0 ` | | ` 0 ` 0 ` | | ` 0 ` 0 ` |
| ` 0 ` 1 ` | | ` 0 ` 1 ` | | ` 0 ` 1 ` |
| ` 1 ` 1 ` | | ` 1 ` 1 ` | | ` 1 ` 1 ` |
o-----------o o-----------o o-----------o
| `(p (q))` | | `(p (r))` | | `(q (r))` |
o-----------o o-----------o o-----------o
</pre>
<pre>
Table 30-c. Tacit Extensions of Projections of Syll
o---------------o o---------------o o---------------o
| `TE(Syll_12)` | | `TE(Syll_13)` | | `TE(Syll_23)` |
o---------------o o---------------o o---------------o
| ` p ` q ` r ` | | ` p ` q ` r ` | | ` p ` q ` r ` |
o---------------o o---------------o o---------------o
| ` 0 ` 0 ` 0 ` | | ` 0 ` 0 ` 0 ` | | ` 0 ` 0 ` 0 ` |
| ` 0 ` 0 ` 1 ` | | ` 0 ` 1 ` 0 ` | | ` 1 ` 0 ` 0 ` |
| ` 0 ` 1 ` 0 ` | | ` 0 ` 0 ` 1 ` | | ` 0 ` 0 ` 1 ` |
| ` 0 ` 1 ` 1 ` | | ` 0 ` 1 ` 1 ` | | ` 1 ` 0 ` 1 ` |
| ` 1 ` 1 ` 0 ` | | ` 1 ` 0 ` 1 ` | | ` 0 ` 1 ` 1 ` |
| ` 1 ` 1 ` 1 ` | | ` 1 ` 1 ` 1 ` | | ` 1 ` 1 ` 1 ` |
o---------------o o---------------o o---------------o
| [| (p (q)) |] | | [| (p (r)) |] | | [| (q (r)) |] |
o---------------o o---------------o o---------------o
| [| `q_207` |] | | [| `q_175` |] | | [| `q_187` |] |
o---------------o o---------------o o---------------o
</pre>
<pre>
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` 111 ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` /|\ ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `/`|`\` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` / `|` \ ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `/` `|` `\` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `/` ` `|` ` `\` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` / ` ` `|` ` ` \ ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` 110 ` ` `o` ` ` 011 ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|\ ` ` / \ ` ` /|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|`\` `/` `\` `/`|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` \ / ` ` \ / `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` `\` ` ` `/` `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` / \ ` ` / \ `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|`/` `\` `/` `\`|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|/ ` ` \ / ` ` \|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `o` ` ` 010 ` ` 001 ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` \ ` ` `|` ` ` / ` ` ` ` ` ` ` ` |
| ` ` 11. ` ` ` ` `\` ` `|` ` `/` ` ` ` ` ` ` ` ` |
| ` ` `|\ ` ` ` ` ` \ ` `|` ` / ` ` ` ` ` ` ` ` ` |
| ` ` `|`\` ` ` ` ` `\` `|` `/` ` ` ` ` ` ` ` ` ` |
| ` ` `|` \ ` ` ` ` ` \ `|` / ` ` ` ` ` ` ` ` ` ` |
| ` ` `|` `\` ` ` ` ` `\`|`/` ` ` ` ` ` ` ` ` ` ` |
| ` ` `|` ` \ ` ` ` ` ` \|/ ` ` ` ` ` ` ` ` ` ` ` |
| ` ` `|` ` `\` ` ` ` ` 000 ` ` ` ` ` ` ` ` ` ` ` |
| ` ` `|` ` ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` `o` ` ` 01. ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` \ ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` `\` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` \ ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` `\` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` \ `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` `\`|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` \|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` 00. ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-------------------------------------------------o
Figure 30-d. Tacit Extension TE_12_3 (Syll_12)
</pre>
<pre>
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` 111 ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` /|\ ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `/`|`\` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` / `|` \ ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `/` `|` `\` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `/` ` `|` ` `\` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` / ` ` `|` ` ` \ ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `o` ` ` 101 ` ` 011 ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|\ ` ` / \ ` ` /|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|`\` `/` `\` `/`|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` \ / ` ` \ / `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` `\` ` ` `/` `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` / \ ` ` / \ `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|`/` `\` `/` `\`|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|/ ` ` \ / ` ` \|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `o` ` ` 010 ` ` 001 ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` \ ` ` `|` ` ` / ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `\` ` `|` ` `/` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` \ ` `|` ` / ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `\` `|` `/` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` \ `|` / ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `\`|`/` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` \|/ ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` 000 ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` 1.1 ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` / \ ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `/` `\` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` / ` ` \ ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `/` ` ` `\` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` / ` ` ` ` \ ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `/` ` ` ` ` `\` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` / ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` 0.1 ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` 0.0 ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-------------------------------------------------o
Figure 30-e. Tacit Extension TE_13_2 (Syll_13)
</pre>
<pre>
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` 111 ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` /|\ ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `/`|`\` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` / `|` \ ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `/` `|` `\` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `/` ` `|` ` `\` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` / ` ` `|` ` ` \ ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `o` ` ` 101 ` ` 011 ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|\ ` ` / \ ` ` /|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|`\` `/` `\` `/`|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` \ / ` ` \ / `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` `\` ` ` `/` `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|` / \ ` ` / \ `|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|`/` `\` `/` `\`|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `|/ ` ` \ / ` ` \|` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` 100 ` ` `o` ` ` 001 ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` \ ` ` `|` ` ` / ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `\` ` `|` ` `/` ` ` ` ` .11 ` ` |
| ` ` ` ` ` ` ` ` ` \ ` `|` ` / ` ` ` ` ` /|` ` ` |
| ` ` ` ` ` ` ` ` ` `\` `|` `/` ` ` ` ` `/`|` ` ` |
| ` ` ` ` ` ` ` ` ` ` \ `|` / ` ` ` ` ` / `|` ` ` |
| ` ` ` ` ` ` ` ` ` ` `\`|`/` ` ` ` ` `/` `|` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` \|/ ` ` ` ` ` / ` `|` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` 000 ` ` ` ` `/` ` `|` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` / ` ` `|` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `o` ` ` .01 ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` / ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|` ` `/` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|` ` / ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|` `/` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|` / ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|`/` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|/ ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` .00 ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-------------------------------------------------o
Figure 30-f. Tacit Extension TE_23_1 (Syll_23)
</pre>
The reader may wish to contemplate Figure 31 and use it to verify the following two facts:
The reader may wish to contemplate Figure 31 and use it to verify the following two facts:
: ''Syll''<sub>13</sub> = ''Syll''<sub>12</sub> ο ''Syll''<sub>23</sub>
: ''Syll''<sub>13</sub> = ''Syll''<sub>12</sub> ο ''Syll''<sub>23</sub>
<pre>
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` `*` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` /|\ ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `/`|`\` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` / `|` \ ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `/` `|` `\` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `/` ` `|` ` `\` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` / ` ` `|` ` ` \ ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `o` ` ` `o` ` ` `*` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` /|\ ` ` / \ ` ` /|\ ` ` ` ` ` ` ` |
| ` ` ` ` ` ` `/`|`\` `/` `\` `/`|`\` ` ` ` ` ` ` |
| ` ` ` ` ` ` / `|` \ / ` ` \ / `|` \ ` ` ` ` ` ` |
| ` ` ` ` ` `/` `|` `\` ` ` `/` `|` `\` ` ` ` ` ` |
| ` ` ` ` ` / ` `|` / \ ` ` / \ `|` ` \ ` ` ` ` ` |
| ` ` ` ` `/` ` `|`/` `\` `/` `\`|` ` `\` ` ` ` ` |
| ` ` ` ` / ` ` `|/ ` ` \ / ` ` \|` ` ` \ ` ` ` ` |
| ` ` ` `/` ` ` `o` ` ` `o` ` ` `*` ` ` `\` ` ` ` |
| ` ` ` / ` ` ` ` \ ` ` /|` ` ` / \ ` ` ` \ ` ` ` |
| ` ` `*` ` ` ` ` `\` `/`|` ` `/` `\` ` ` `*` ` ` |
| ` ` `|\ ` ` ` ` ` \ / `|` ` / ` ` \ ` ` /|` ` ` |
| ` ` `|`\` ` ` ` ` `/` `|` `/` ` ` `\` `/`|` ` ` |
| ` ` `|` \ ` ` ` ` / \ `|` / ` ` ` ` \ / `|` ` ` |
| ` ` `|` `\` ` ` `/` `\`|`/` ` ` ` ` `/` `|` ` ` |
| ` ` `|` ` \ ` ` / ` ` \|/ ` ` ` ` ` / \ `|` ` ` |
| ` ` `|` ` `\` `/` ` ` `*` ` ` ` ` `/` `\`|` ` ` |
| ` ` `|` ` ` \ / ` ` ` / \ ` ` ` ` / ` ` \|` ` ` |
| ` ` `o` ` ` `*` ` ` `/` `\` ` ` `o` ` ` `*` ` ` |
| ` ` ` \ ` ` `|` ` ` / ` ` \ ` ` `|` ` ` / ` ` ` |
| ` ` ` `\` ` `|` ` `/` ` ` `\` ` `|` ` `/` ` ` ` |
| ` ` ` ` \ ` `|` ` / ` ` ` ` \ ` `|` ` / ` ` ` ` |
| ` ` ` ` `\` `|` `/` ` `*` ` `\` `|` `/` ` ` ` ` |
| ` ` ` ` ` \ `|` / ` ` / \ ` ` \ `|` / ` ` ` ` ` |
| ` ` ` ` ` `\`|`/` ` `/` `\` ` `\`|`/` ` ` ` ` ` |
| ` ` ` ` ` ` \|/ ` ` / ` ` \ ` ` \|/ ` ` ` ` ` ` |
| ` ` ` ` ` ` `*` ` `/` ` ` `\` ` `*` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` / ` ` ` ` \ ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `/` ` ` ` ` `\` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` / ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` `*` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` `*` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-------------------------------------------------o
Figure 31. Syll = TE(Syll_12) |^| TE(Syll_23)
</pre>
I don't know about you, but I am still puzzled by all of thus stuff, that is to say, by the entanglements of composition and projection and their relationship to the information processing properties of logical inference rules. What I lack is a single picture that could show me all of the pieces and make the pattern of their informational relationships clear.
I don't know about you, but I am still puzzled by all of thus stuff, that is to say, by the entanglements of composition and projection and their relationship to the information processing properties of logical inference rules. What I lack is a single picture that could show me all of the pieces and make the pattern of their informational relationships clear.
At first or maybe second sight, the relationships seem easy enough to write out. Figure 32 shows how the various logical expressions are related to each other: The expressions "(p (q))" and "(q (r))" are conjoined in a purely syntactic fashion — much in the way that one might compile a theory from axioms without knowing what either the theory or the axioms were about — and the best way to sum up the state of information implicit in taking them together is just the expression "(p (q)) (q (r))" that would the canonical result of an equational or reversible rule of inference. From that equational inference, one might arrive at the implicational inference "(p (r))" by the most conventional implication.
At first or maybe second sight, the relationships seem easy enough to write out. Figure 32 shows how the various logical expressions are related to each other: The expressions "(p (q))" and "(q (r))" are conjoined in a purely syntactic fashion — much in the way that one might compile a theory from axioms without knowing what either the theory or the axioms were about — and the best way to sum up the state of information implicit in taking them together is just the expression "(p (q)) (q (r))" that would the canonical result of an equational or reversible rule of inference. From that equational inference, one might arrive at the implicational inference "(p (r))" by the most conventional implication.
<pre>
o-------------------o ` ` ` ` o-------------------o
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
| ` ` ` ` q ` ` ` ` | ` ` ` ` | ` ` ` ` r ` ` ` ` |
| ` ` ` ` o ` ` ` ` | ` ` ` ` | ` ` ` ` o ` ` ` ` |
| ` ` ` ` | ` ` ` ` | ` ` ` ` | ` ` ` ` | ` ` ` ` |
| ` ` ` p o ` ` ` ` | ` ` ` ` | ` ` ` q o ` ` ` ` |
| ` ` ` ` | ` ` ` ` | ` ` ` ` | ` ` ` ` | ` ` ` ` |
| ` ` ` ` @ ` ` ` ` | ` ` ` ` | ` ` ` ` @ ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
o-------------------o ` ` ` ` o-------------------o
| ` ` `(p (q))` ` ` | ` ` ` ` | ` ` `(q (r))` ` ` |
o-------------------o ` ` ` ` o-------------------o
| ` ` ` q_207 ` ` ` | ` ` ` ` | ` ` ` q_187 ` ` ` |
o---------o---------o ` ` ` ` o---------o---------o
` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` `
` ` ` ` ` ` \ ` ` ` Conjunction ` ` ` / ` ` ` ` ` `
` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` `
` ` ` ` ` ` ` v ` ` ` ` ` ` ` ` ` ` v ` ` ` ` ` ` `
` ` ` ` ` ` ` `o-------------------o` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` q ` r ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` o ` o ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` | ` | ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` p o ` o q ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` `\`/` ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` ` @ ` ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `o-------------------o` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| `(p (q)) (q (r))` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `o-------------------o` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` q_139 ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `o---------o---------o` ` ` ` ` ` ` `
` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` `
` ` ` ` ` ` ` ` ` ` Implication ` ` ` ` ` ` ` ` ` `
` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` `
` ` ` ` ` ` ` ` ` ` ` ` `v` ` ` ` ` ` ` ` ` ` ` ` `
` ` ` ` ` ` ` `o---------o---------o` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` ` r ` ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` ` o ` ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` ` | ` ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` p o ` ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` ` | ` ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` ` @ ` ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `o-------------------o` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` `(p (r))` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `o-------------------o` ` ` ` ` ` ` `
` ` ` ` ` ` ` `| ` ` ` q_175 ` ` ` |` ` ` ` ` ` ` `
` ` ` ` ` ` ` `o-------------------o` ` ` ` ` ` ` `
` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `
Figure 32. Expressive Aspects of Transitive Inference
</pre>
Most of the customary names for this type of process have turned out to have misleading connotations, and so I will experiment with calling it the ''expressive'' aspect of the various rules for transitive inference, simply to emphasize the fact that rules can be given for it that operate solely on signs and expressions, without necessarily needing to look at the objects that are denoted by these signs and expressions.
Most of the customary names for this type of process have turned out to have misleading connotations, and so I will experiment with calling it the ''expressive'' aspect of the various rules for transitive inference, simply to emphasize the fact that rules can be given for it that operate solely on signs and expressions, without necessarily needing to look at the objects that are denoted by these signs and expressions.
# In situations where we have products like ''X''''':'''''Y''''':'''''Z'' with ''X'' = ''Y'' = ''Z'' = '''B''', and relations like ''L'' ⊆ ''X''<b>:</b>''Y'', ''M'' ⊆ ''X''<b>:</b>''Z'', ''N'' ⊆ ''Y''<b>:</b>''Z'', I will use forms like ''L'' ⊆ '''B:B:~''', ''M'' ⊆ '''B:~:B''', ''N'' ⊆ '''~:B:B''' to remind us that we are considering particular ways of situating ''L'', ''M'', ''N'' within the product space ''X''<b>:</b>''Y''<b>:</b>''Z''.
# In situations where we have products like ''X''''':'''''Y''''':'''''Z'' with ''X'' = ''Y'' = ''Z'' = '''B''', and relations like ''L'' ⊆ ''X''<b>:</b>''Y'', ''M'' ⊆ ''X''<b>:</b>''Z'', ''N'' ⊆ ''Y''<b>:</b>''Z'', I will use forms like ''L'' ⊆ '''B:B:~''', ''M'' ⊆ '''B:~:B''', ''N'' ⊆ '''~:B:B''' to remind us that we are considering particular ways of situating ''L'', ''M'', ''N'' within the product space ''X''<b>:</b>''Y''<b>:</b>''Z''.
<pre>
o-------------------o ` ` ` ` o-------------------o
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
| ` ` ` 0:0:0 ` ` ` | ` ` ` ` | ` ` ` 0:0:0 ` ` ` |
| ` ` ` 0:0:1 ` ` ` | ` ` ` ` | ` ` ` 0:0:1 ` ` ` |
| ` ` ` 0:1:0 ` ` ` | ` ` ` ` | ` ` ` 0:1:1 ` ` ` |
| ` ` ` 0:1:1 ` ` ` | ` ` ` ` | ` ` ` 1:0:0 ` ` ` |
| ` ` ` 1:1:0 ` ` ` | ` ` ` ` | ` ` ` 1:0:1 ` ` ` |
| ` ` ` 1:1:1 ` ` ` | ` ` ` ` | ` ` ` 1:1:1 ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
o-------------------o ` ` ` ` o-------------------o
|TE(Syll_12) c B:B:B| ` ` ` ` |TE(Syll_23) c B:B:B|
o-------------------o ` ` ` ` o-------------------o
| ` `[| q_207 |]` ` | ` ` ` ` | ` `[| q_187 |]` ` |
o----o---------o----o ` ` ` ` o----o---------o----o
` ` `^` ` ` ` ` \ ` ` ` ` ` ` ` ` / ` ` ` ` `^` ` `
` ` `|` ` ` ` ` `\`Intersection `/` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` `v` ` ` ` ` `v` ` ` ` ` ` `|` ` `
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` 0:0:0 ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` 0:0:1 ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` 0:1:1 ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` 1:1:1 ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` `Syll c B:B:B ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` `[| q_139 |]` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `o---------o---------o` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` ` Projection` ` ` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` ` ` ` `v` ` ` ` ` ` ` ` ` `|` ` `
` ` `|` ` ` ` `o---------o---------o` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` `0:0` ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` `0:1` ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` `1:1` ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
` ` `|` ` ` ` `| `Syll_13 c B:~:B` |` ` ` ` `|` ` `
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` [| (p (r)) |] ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `o----o---------o----o` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` `^` ` ` ` ` `^` ` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` / ` ` ` ` ` ` \ ` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` `/` Composition `\` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` / ` ` ` ` ` ` ` ` \ ` ` ` ` `|` ` `
o----o---------o----o ` ` ` ` o----o---------o----o
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
| ` ` ` `0:0` ` ` ` | ` ` ` ` | ` ` ` `0:0` ` ` ` |
| ` ` ` `0:1` ` ` ` | ` ` ` ` | ` ` ` `0:1` ` ` ` |
| ` ` ` `1:1` ` ` ` | ` ` ` ` | ` ` ` `1:1` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
o-------------------o ` ` ` ` o-------------------o
| `Syll_12 c B:B:~` | ` ` ` ` | `Syll_23 c ~:B:B` |
o-------------------o ` ` ` ` o-------------------o
| ` [| (p (q)) |] ` | ` ` ` ` | ` [| (q (r)) |] ` |
o---------o---------o ` ` ` ` o---------o---------o
` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `
Figure 33. Denotative Aspects of Transitive Inference
</pre>
A piece of syntax like "(p (q))" or "''p'' ⇒ ''q''" is an abstract description, and abstraction is a process that loses information about the objects described. So when we go to reverse the abstraction, as we do when we look for models of that description, there is a degree of indefiniteness that comes into play.
A piece of syntax like "(p (q))" or "''p'' ⇒ ''q''" is an abstract description, and abstraction is a process that loses information about the objects described. So when we go to reverse the abstraction, as we do when we look for models of that description, there is a degree of indefiniteness that comes into play.
To illustrate the use of concrete coordinates for points and concrete types for spaces and propositions, Figure 35 translates the contents of Figure 33 into the new language.
To illustrate the use of concrete coordinates for points and concrete types for spaces and propositions, Figure 35 translates the contents of Figure 33 into the new language.
<pre>
o-------------------o ` ` ` ` o-------------------o
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
| ` ` (p)(q)(r) ` ` | ` ` ` ` | ` ` (p)(q)(r) ` ` |
| ` ` (p)(q)`r` ` ` | ` ` ` ` | ` ` (p)(q)`r` ` ` |
| ` ` (p) q (r) ` ` | ` ` ` ` | ` ` (p) q `r` ` ` |
| ` ` (p) q `r` ` ` | ` ` ` ` | ` ` `p`(q)(r) ` ` |
| ` ` `p` q (r) ` ` | ` ` ` ` | ` ` `p`(q)`r` ` ` |
| ` ` `p` q `r` ` ` | ` ` ` ` | ` ` `p` q `r` ` ` |
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
o-------------------o ` ` ` ` o-------------------o
|TE(Syll_12) c B:B:B| ` ` ` ` |TE(Syll_23) c B:B:B|
o-------------------o ` ` ` ` o-------------------o
| ` `[| q_207 |]` ` | ` ` ` ` | ` `[| q_187 |]` ` |
o----o---------o----o ` ` ` ` o----o---------o----o
` ` `^` ` ` ` ` \ ` ` ` ` ` ` ` ` / ` ` ` ` `^` ` `
` ` `|` ` ` ` ` `\`Intersection `/` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` `v` ` ` ` ` `v` ` ` ` ` ` `|` ` `
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` (p)(q)(r) ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` (p)(q)`r` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` (p) q `r` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` `p` q `r` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
` ` `|` ` ` ` `| `Syll c P‡ Q‡ R‡` |` ` ` ` `|` ` `
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` `[| q_139 |]` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `o---------o---------o` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` ` Projection` ` ` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` ` ` ` `v` ` ` ` ` ` ` ` ` `|` ` `
` ` `|` ` ` ` `o---------o---------o` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` `(p) (r)` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` `(p)` r ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` p ` r ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` ` ` ` ` ` ` ` ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
` ` `|` ` ` ` `| `Syll_13 c P‡ R‡` |` ` ` ` `|` ` `
` ` `|` ` ` ` `o-------------------o` ` ` ` `|` ` `
` ` `|` ` ` ` `| ` [| (p (r)) |] ` |` ` ` ` `|` ` `
` ` `|` ` ` ` `o----o---------o----o` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` `^` ` ` ` ` `^` ` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` ` / ` ` ` ` ` ` \ ` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` `/` Composition `\` ` ` ` ` `|` ` `
` ` `|` ` ` ` ` / ` ` ` ` ` ` ` ` \ ` ` ` ` `|` ` `
o----o---------o----o ` ` ` ` o----o---------o----o
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
| ` ` `(p) (q)` ` ` | ` ` ` ` | ` ` `(q) (r)` ` ` |
| ` ` `(p)` q ` ` ` | ` ` ` ` | ` ` `(q)` r ` ` ` |
| ` ` ` p ` q ` ` ` | ` ` ` ` | ` ` ` q ` r ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` ` |
o-------------------o ` ` ` ` o-------------------o
| `Syll_12 c P‡ Q‡` | ` ` ` ` | `Syll_23 c Q‡ R‡` |
o-------------------o ` ` ` ` o-------------------o
| ` [| (p (q)) |] ` | ` ` ` ` | ` [| (q (r)) |] ` |
o---------o---------o ` ` ` ` o---------o---------o
` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `
Figure 35. Denotative Aspects of Transitive Inference
</pre>
==References==
==References==
* [http://www.lawsofform.org/ ''Laws of Form'' Web Site].
* [http://www.lawsofform.org/ ''Laws of Form'' Web Site].
* [http://www.lawsofform.org/aum/session1.html Spencer-Brown's talks at Esalen 1973] — Self-referential forms are introduced in the section entitled "Degree of Equations and the Theory of Types".
* [http://www.lawsofform.org/aum/session1.html Spencer-Brown's talks at Esalen 1973] — Self-referential forms are introduced in the section entitled "Degree of Equations and the Theory of Types".
* [http://www.math.uic.edu/~kauffman/ Louis H. Kauffman] — ''[http://www.math.uic.edu/~kauffman/Arithmetic.htm Box Algebra, Boundary Mathematics, Logic, and Laws of Form]''.
* [http://www.math.uic.edu/~kauffman/ Louis H. Kauffman] — ''[http://www.math.uic.edu/~kauffman/Arithmetic.htm Box Algebra, Boundary Mathematics, Logic, and Laws of Form]''.
==Document history==
==Document history==
