(U – y = x) def.
(U – x = y) def.
:: ( (U – x = -y) ^ -(U – y = -x) ) → x <> y ↔ 1(x,y), 1(x,-y),1(-x,y), 1(-x, -y) ::
Subscribe to:
Post Comments (Atom)
skip to main |
skip to sidebar
A steward has prerogatives. A diarist digs. Malcom X said never trust a man who doesn’t wear a watch. The reader of this relinquished document can make of that what he wants. So see you at the County Fair.
No comments:
Post a Comment