List of rules of inferenceFrom Wikipedia, the free encyclopedia This is a list of rules of inference, logical laws that relate to mathematical formulae.