APPENDIX A

Summary of Fitch Rules

Fitch for Propositional Logic (Fitch_PL) is the Fitch proof system with the propositional rules.

Fitch for Herbrand Logic (Fitch_HL) is the Fitch proof system with the propositional rules, the quantifier rules, and the induction rule.

Fitch for First Order Logic (Fitch_FOL) is the Fitch proof system with the propositional rules, the quantifier rules, and the equality rules.