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.