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 1
Discuss learning logic through AEGs,
without
assuming the reader knows Propositional Calculus.