Procedures used to derive new propositions from existing propositions, such as modus ponens, modus tollens, etc.