Inference rules

Home > Philosophy > Logic > Propositional Logic > Inference rules

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