Logical Identity is Process as Function, Variability is Process as Function, Logical Identity is Variability
"-" absence/negation
"=" equals/is
"<->" biconditional/mutual relation by distinction
"->" therefore, leads to, transforms to
"F:" function/process
1. -A = -A
2. --A = --A
3. (---A = ---A) = (-A = -A)
4. (----A=----A) = (--A=--A)
5. .....
6. -A -> (-A -> ---A -> -----A -> ..... [1+2n]A)
7. --A -> (--A -> ----A -> ------A -> .....
[2n]A)
8. A = (--A <-> -A)
9. A -> F: -
10 (F: -) = (- -> -.....)
11. -A = C, ---A = E, -----A = G, .......
12. --A = B, ----A = D, ------A = F, ......
13. -A = (C,E,G...)
14. --A = (B, D, F...)
15. (B-> C -> D -> E -> ....) = A
16. ( .... E -> D -> C -> B) = A
17. (A -> A) = A