Interactive Prover

See the following pages for video introductions to how to use this tool:

1. Natural Deduction and the rules for And

2. Proof rules for Implication

3. Proof rules for Or and Not

4. Proof rules for Predicate Logic

5. Proof rules for Equality