Re: Double Negation • (1) • (2)

The steps of the proof of double negation are replayed in the following animation.

Resources

• Logic Syllabus
• Logical Graphs
  • Informal Introduction
  • Formal Development
  • Proof Animations
• Futures Of Logical Graphs
• Propositional Equation Reasoning Systems

Reference

• Spencer Brown, G. (1969), Laws of Form, George Allen and Unwin, London, UK.

cc: Cybernetics • Laws of Form • FB | Logical Graphs • Ontolog Forum • Peirce List
• Structural Modeling • Systems Science