In logic, a
rule of inference,
inference rule or transformation
rule is a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion (or conclusions). ... Popular
rules of inference in propositional logic include modus ponens, modus tollens, and contraposition.
read more >>