12,136
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday November 02, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives (view source)
Revision as of 20:17, 12 April 2009
, 20:17, 12 April 2009→Commentary Note 11.7
|}
|}
In the case of a 2-adic relation <math>L \subseteq X_1 \times X_2 ~=~ X \times Y,</math> we can reap the benefits of a radical simplification in the definitions of the local flags. Also in this case, we tend to refer to <math>L_{u \star 1}</math> as <math>L_{u \star X}</math> and <math>L_{v \star 2}</math> as <math>L_{v \star Y}.</math>
In the case of a 2-adic relation <math>L \subseteq X_1 \times X_2 = X \times Y,</math> we can reap the benefits of a radical simplification in the definitions of the local flags. Also in this case, we tend to refer to <math>L_{u \star 1}</math> as <math>L_{u \star X}</math> and <math>L_{v \star 2}</math> as <math>L_{v \star Y}.</math>
In the light of these considerations, the local flags of a 2-adic relation ''L'' ⊆ ''X'' × ''Y'' may be formulated as follows:
In the light of these considerations, the local flags of a 2-adic relation <math>L \subseteq X \times Y</math> may be formulated as follows:
{| cellpadding="4"
{| cellpadding="4"
|}
|}
A sufficient illustration is supplied by the earlier example ''E''.
A sufficient illustration is supplied by the earlier example <math>E.\!</math>
{| align="center" cellspacing="6" width="90%"
|
<pre>
<pre>
0 1 2 3 4 5 6 7 8 9
0 1 2 3 4 5 6 7 8 9
0 1 2 3 4 5 6 7 8 9
0 1 2 3 4 5 6 7 8 9
</pre>
</pre>
|}
The local flag ''E''<sub>3.''X''</sub> is displayed here:
The local flag ''E''<sub>3.''X''</sub> is displayed here:
{| align="center" cellspacing="6" width="90%"
|
<pre>
<pre>
0 1 2 3 4 5 6 7 8 9
0 1 2 3 4 5 6 7 8 9
0 1 2 3 4 5 6 7 8 9
0 1 2 3 4 5 6 7 8 9
</pre>
</pre>
|}
The local flag ''E''<sub>2.''Y''</sub> is displayed here:
The local flag ''E''<sub>2.''Y''</sub> is displayed here:
{| align="center" cellspacing="6" width="90%"
|
<pre>
<pre>
0 1 2 3 4 5 6 7 8 9
0 1 2 3 4 5 6 7 8 9
0 1 2 3 4 5 6 7 8 9
0 1 2 3 4 5 6 7 8 9
</pre>
</pre>
|}
===Commentary Note 11.8===
===Commentary Note 11.8===
