Logical Graphs 3.0
Axioms
The axioms are just four in number, divided into the arithmetic initials, 
and 
and the algebraic initials, 
and 
Double Negation • Theorem
Double Negation • Proof
Double Negation • Animation
The steps of this proof are replayed in the following animation.
Double Negation • Components
The proof that follows is adapted from the one that was given by George Spencer Brown in his book Laws of Form (LOF) and credited to two of his students, John Dawes and D.A. Utting.
).png){kind=small}
.png){kind=small}
).png){kind=small}
.png){kind=small}
).png){kind=small}
).png){kind=small}
