Introduction

This is the open source textbook and end-user manual for theorem proving with Existential Graphs in PMH.

If you don't know any formal logic whatsoever, don't worry! This book will explain the basics and how they relate to EGs.

Chapter 1

Discuss learning logic through AEGs, without assuming the reader knows Propositional Calculus.

Chapter 2

Discuss the relationship between and the converting of Propositional Calculus to AEGs and AEGs to PC.

Chapter 3

Discuss how PMH implements drawing and proving using AEGs.