Changes

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>

|}

|}

{| 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==