2 ms·
That's interesting.... + and * theorems correspond between logic and arithmetic, but taking ^ as implication generates theorems that are true in logic but not i
by pofilat 8y ago
That's interesting.... + and * theorems correspond between logic and arithmetic, but taking ^ as implication generates theorems that are true in logic but not in arithmetic.
(The truth table of implication is clearly different from binary exxponentiation)
- Twisol 8y agoIs it? I checked before commenting (because I also wanted to make sure the arithmetic analogy actually held): irb(main):001:0> 0**0 => 1 irb(main):002:0> 0**1 => 0 irb(main):003:0> 1**0 => 1 irb(main):004:0> 1**1 => 1 Notice that `p -> q` becomes `q^p`, i.e. the operands swap position.