KinderCalculus/Soar, Evert, nunti

EvertEdit

Everts are distributive rules. Here we generalize the distributive rule beyond a(b+c) = ab + ac.

general form (*) self + self *
(1a)
a I b    a     b
----o = --o I --o
  c      c     c
(a+b)/c = a/c + b/c  
(a-b)/c = a/c - b/c
  c___    c__    c__
  V ab =  V a  * V b
   __
  Va/b = ...
(1b)
  “      a     b
o---- = o-- + o--
  c      c     c
same as above
log ab = log a + log b,   
   c        c       c

log a/b = log a - log b
   c         c       c
(2)
(a I b) O c = (a O c) I (b O c)
(a+b)c
 (ab)^c = ...
(3)
a O b        a
o---- = b I o--
  c          c

  "          a
----o =     --o O b
c            c

none


ab      a
-- = b ---
c       c
log a^b = b log a
   c           c

 c___      c__
V a^b =  (V a )^b