Chapter 1: Thinking Logically with AEGs

Do not assume the reader to have familiarity with Propositional Calculus. Introduce AEGs in this chapter as if the audience has never interacted with mathematical logic.

Explain components of AEGs:

• The Sheet of Assertion
• Atoms
• Cuts
• Conjunction between Atoms/Cuts on The Sheet
• Rules of Equivalence
• Rules of Inference
• What AEGs can and cannot model
• Conclusion
• Proofreading