Changes

Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives (view source)

Revision as of 18:24, 6 May 2009

168 bytes added , 18:24, 6 May 2009

Line 5,474: Line 5,474:

{| align="center" cellspacing="6" width="90%"

−

| <math>\mathrm{w} ~=~ \mathrm{W}^{\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime\prime}</math>

+

| height="60" | <math>\mathrm{w} ~=~ \mathrm{W}^{\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime\prime}</math>

|}

Line 5,480: Line 5,480:

{| align="center" cellspacing="6" width="90%"

−

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

+

| height="60" | <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>

|}

Line 5,488: Line 5,488:

{| align="center" cellspacing="6" width="90%"

−

| <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} \operatorname{proj}_1 (L \star x) ~=~ \bigcap_{x \in W} L \cdot x</math>

+

| height="60" | <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} \operatorname{proj}_1 (L \star x) ~=~ \bigcap_{x \in W} L \cdot x</math>

|}

Line 5,494: Line 5,494:

{| align="center" cellspacing="6" width="90%"

−

| <math>\mathrm{J} ~\text{loves}~ \mathrm{K} ~\Leftarrow~ \mathrm{K} ~\text{is a woman}</math>

+

| height="60" | <math>\mathrm{J} ~\text{loves}~ \mathrm{K} ~\Leftarrow~ \mathrm{K} ~\text{is a woman}</math>

|}

Line 5,547: Line 5,547:

{| align="center" cellspacing="6" width="90%"

−

| <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x</math>

+

| height="60" | <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x</math>

|}

Line 5,553: Line 5,553:

{| align="center" cellspacing="6" width="90%"

−

| <math>(\mathfrak{L}^\mathfrak{W})_u ~=~ \prod_{x \in X} \mathfrak{L}_{ux}^{\mathfrak{W}_x}</math>

+

| height="60" | <math>(\mathfrak{L}^\mathfrak{W})_u ~=~ \prod_{x \in X} \mathfrak{L}_{ux}^{\mathfrak{W}_x}</math>

|}

Line 5,595: Line 5,595:

{| align="center" cellspacing="6" width="90%"

−

| <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x ~=~ L \cdot d ~\cap~ L \cdot f ~=~ \{ c, e \} \cap \{ e, g \} ~=~ \{ e \}</math>

+

| height="60" | <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x ~=~ L \cdot d ~\cap~ L \cdot f ~=~ \{ c, e \} \cap \{ e, g \} ~=~ \{ e \}</math>

|}

Line 5,625: Line 5,625:

{| align="center" cellspacing="6" width="90%"

−

| <math>(\mathfrak{L}^\mathfrak{W})_e ~=~ \prod_{x \in X} \mathfrak{L}_{ex}^{\mathfrak{W}_x} ~=~ 0^0 \cdot 0^0 \cdot 0^0 \cdot 1^1 \cdot 1^0 \cdot 1^1 \cdot 0^0 \cdot 0^0 \cdot 0^0 ~=~ 1</math>

+

| height="60" | <math>(\mathfrak{L}^\mathfrak{W})_e ~=~ \prod_{x \in X} \mathfrak{L}_{ex}^{\mathfrak{W}_x} ~=~ 0^0 \cdot 0^0 \cdot 0^0 \cdot 1^1 \cdot 1^0 \cdot 1^1 \cdot 0^0 \cdot 0^0 \cdot 0^0 ~=~ 1</math>

|}

Line 5,659: Line 5,659:

{| align="center" cellspacing="6" width="90%"

−

| <math>\mathit{s}^{(\mathit{l}\mathrm{w})} ~=~ \bigcap_{x \in LW} \operatorname{proj}_1 (S \star x) ~=~ \bigcap_{x \in LW} S \cdot x</math>

+

| height="60" | <math>\mathit{s}^{(\mathit{l}\mathrm{w})} ~=~ \bigcap_{x \in LW} \operatorname{proj}_1 (S \star x) ~=~ \bigcap_{x \in LW} S \cdot x</math>

|}

Line 5,699: Line 5,699:

{| align="center" cellspacing="6" width="90%"

−

| <math>(\mathfrak{S}^\mathfrak{L})_{uv} ~=~ \prod_{x \in X} \mathfrak{S}_{ux}^{\mathfrak{L}_{xv}}</math>

+

| height="60" | <math>(\mathfrak{S}^\mathfrak{L})_{uv} ~=~ \prod_{x \in X} \mathfrak{S}_{ux}^{\mathfrak{L}_{xv}}</math>

|}

Line 5,709: Line 5,709:

{| align="center" cellspacing="6" width="90%"

−

| <math>(\mathfrak{S}^\mathfrak{L})^\mathfrak{W} ~=~ \mathfrak{S}^{\mathfrak{L}\mathfrak{W}}</math>

+

| height="60" | <math>(\mathfrak{S}^\mathfrak{L})^\mathfrak{W} ~=~ \mathfrak{S}^{\mathfrak{L}\mathfrak{W}}</math>

|}

Line 5,715: Line 5,715:

{| align="center" cellspacing="6" width="90%"

−

| <math>((\mathfrak{S}^\mathfrak{L})^\mathfrak{W})_{uv} ~=~ (\mathfrak{S}^{\mathfrak{L}\mathfrak{W}})_{uv}</math>

+

| height="60" | <math>((\mathfrak{S}^\mathfrak{L})^\mathfrak{W})_{uv} ~=~ (\mathfrak{S}^{\mathfrak{L}\mathfrak{W}})_{uv}</math>

|}

Jon Awbrey

12,080

edits