Changes between Version 5 and Version 6 of TypeNats/Axioms


Ignore:
Timestamp:
Dec 23, 2010 11:51:01 PM (4 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Axioms

    v5 v6  
    4141}}} 
    4242 
     43Exponentiation: 
     44{{{ 
     45expDef:      m ^ n ~ k    -- {m ^ n == k} 
     46exp0:        a ^ 0 ~ 1 
     47exp1:        a ^ 1 ~ a 
     48log1:        1 ^ a ~ 1 
     49 
     50(m ^ a ~ a) <=> False           -- m /= 1 
     51(a ^ m ~ a) <=> (a <= 1)        -- 2 <= m 
     52}}} 
     53 
    4354Interactions: 
    4455{{{