3 ms·
Yes, I know ) But then this whole derivation now lives in a "special world", where you cannot do all math, but only certain subset. Your example is cool. I hav
by a-nikolaev 11y ago
Yes, I know ) But then this whole derivation now lives in a "special world", where you cannot do all math, but only certain subset.
Your example is cool. I have not seen many exmaples of such logic, but people probably do it too.. )
- robryk 11y agoThe most common example of such logic is multiplying by maybe-zero (transforming a=b into ac=bc) and factoring out a possibly-zero factor (transforming ac!=bc into a!=b).