Interactive Prover

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

1. Natural Deduction for Propositional Logic

2. Proof rules for Predicate Logic