List of rules of inference

This is a list of rules of inference, logical laws that relate to mathematical formulae. == Introduction == Rules of inference are syntactical transform rules which one can use to infer a conclusion from a premise to create an argument.

Source: Wikipedia — List of rules of inference (CC BY-SA 4.0)