Line 5,274:
Line 5,274:
In analogous fashion, the logical involution <math>\mathit{l}^\mathrm{w}\!</math> is the repeated application of the term <math>\mathit{l}\!</math> for as many times as there are individuals under the term <math>\mathrm{w}.\!</math>
In analogous fashion, the logical involution <math>\mathit{l}^\mathrm{w}\!</math> is the repeated application of the term <math>\mathit{l}\!</math> for as many times as there are individuals under the term <math>\mathrm{w}.\!</math>
−
For example, suppose that the universe of discourse has, among other things, just the three women, <math>\mathrm{W}_1, \mathrm{W}_2, \mathrm{W}_3.\!</math> This could be expressed in Peirce's notation by writing:
+
For example, suppose that the universe of discourse has, among other things, just the three women, <math>\mathrm{W}^{\prime}, \mathrm{W}^{\prime\prime}, \mathrm{W}^{\prime\prime\prime}.</math> This could be expressed in Peirce's notation by writing:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
−
| <math>\mathrm{w} ~=~ \mathrm{W}_1 ~+\!\!,~ \mathrm{W}_2 ~+\!\!,~ \mathrm{W}_3</math>
+
| <math>\mathrm{w} ~=~ \mathrm{W}^{\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime\prime}</math>
|}
|}
Line 5,283:
Line 5,283:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
−
| <math>\mathit{l}^\mathrm{w} ~=~ \mathit{l}^{(\mathrm{W}_1 ~+\!\!,~ \mathrm{W}_2 ~+\!\!,~ \mathrm{W}_3)} ~=~ \mathit{l}\mathrm{W_1}, \mathit{l}\mathrm{W_2}, \mathit{l}\mathrm{W_3}.</math>
+
| <math>\mathit{l}^\mathrm{w} ~=~ \mathit{l}^{(\mathrm{W}^{\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime\prime})} ~=~ (\mathit{l}\mathrm{W}^{\prime}), (\mathit{l}\mathrm{W}^{\prime\prime}), (\mathit{l}\mathrm{W}^{\prime\prime\prime}).</math>
|}
|}
−
That is, a lover of every woman in the universe of discourse would be a lover of <math>\mathrm{W}_1\!</math> and a lover of <math>\mathrm{W}_2\!</math> and lover of <math>\mathrm{W}_3.\!</math>.
+
That is, a lover of every woman in the universe of discourse would be a lover of <math>\mathrm{W}^{\prime}</math> and a lover of <math>\mathrm{W}^{\prime\prime}</math> and lover of <math>\mathrm{W}^{\prime\prime\prime}.\!</math>.
==References==
==References==