Introduction
1.
Thinking Logically with AEGs
2.
The Propositional Calculus and AEGs
3.
Drawing and Proving AEGs with PMH
Light
Rust
Coal
Navy
Ayu
Existential Graph Theorem Proving in PMH
Chapter 3
Discuss how PMH implements drawing and proving using AEGs.