n. (Logic) a syntactic rule that is part of the definition of a formal calculus and by which theorems are derived from axioms and other theorems. The rules of inference are the recursion formulae in the definition of the set of theorems of the calculus (the theory) in which the axioms are the base clauses.