MyWikiBiz, Author Your Legacy — Wednesday November 05, 2025
Jump to navigationJump to search
332 bytes added
, 17:18, 1 May 2009
| Line 135: |
Line 135: |
| | | <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%" |
| Line 160: |
Line 162: |
| | </math> | | </math> |
| | |} | | |} |
| − |
| |
| | | | |
| | <pre> | | <pre> |