Propositional and Predicate Logic Derivation Rules

These are the derivation rules in a reference that may be useful when doing proofs and proof sequences. These come from the Gersting textbook and use the same names and definitions.