Proof Checker
Proof Rules
Credits
Help
Proof rules: propositional logic
source: Craig DeLancey, 'A Concise Introduction to Logic'
Proof rules: first-order logic
Note that the Existential instantiation and Universal derivation rules differ from those used in DeLancey's text. They have the form used in
forall x: Calgary
.