12,089
edits
Changes
Directory talk:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives (view source)
Revision as of 17:18, 1 May 2009
, 17:18, 1 May 2009→Commentary Work Area
| <math>\mathrm{J} ~\text{loves}~ \mathrm{K} ~\Leftarrow~ \mathrm{K} ~\text{is a woman}</math>
| <math>\mathrm{J} ~\text{loves}~ \mathrm{K} ~\Leftarrow~ \mathrm{K} ~\text{is a woman}</math>
|}
|}
Interpreting the formula <math>\mathit{l}^\mathrm{w}\!</math> as <math>\mathrm{J} ~\text{loves}~ \mathrm{K} ~\Leftarrow~ \mathrm{K} ~\text{is a woman}</math> reveals the form of the converse implication inherent in it, and this evokes the analogy between implication and involution that accounts for the aptness of the latter name.
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
</math>
</math>
|}
|}
<pre>
<pre>