12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic (view source)
Revision as of 00:24, 10 June 2009
, 00:24, 10 June 2009→Note 13: markup
Also, let <math>m\!</math> be such that
Also, let <math>m\!</math> be such that
<pre>
{| align="center" cellpadding="6" width="90%"
A is a mover of A and B,
|
B is a mover of B and C,
<math>\begin{array}{l}
C is a mover of C and A.
A ~\text{is a mover of}~ A ~\text{and}~ B,
</pre>
\\
B ~\text{is a mover of}~ B ~\text{and}~ C,
\\
C ~\text{is a mover of}~ C ~\text{and}~ A.
\end{array}</math>
|}
In sum:
In sum:
<pre>
{| align="center" cellpadding="6" width="90%"
m =
|
<math>
m ~=~
\begin{bmatrix}
1 \cdot (A:A) & 1 \cdot (A:B) & 0 \cdot (A:C)
\\
0 \cdot (B:A) & 1 \cdot (B:B) & 1 \cdot (B:C)
</pre>
\\
1 \cdot (C:A) & 0 \cdot (C:B) & 1 \cdot (C:C)
\end{bmatrix}
</math>
|}
For the sake of orientation and motivation, compare with Peirce's notation in CP 3.329.
For the sake of orientation and motivation, compare with Peirce's notation in CP 3.329.