Inference rule

In a formal system of logic, a principle whereby one statement is inferred from another or others; the logical rules by which validity is defined.