The steps of the proof of double negation are replayed in the following animation.
- Logic Syllabus
- Logical Graphs
• Informal Introduction
• Formal Development
• Proof Animations
- Futures Of Logical Graphs
- Propositional Equation Reasoning Systems
- Spencer Brown, G. (1969), Laws of Form, George Allen and Unwin, London, UK.