Definition Inference Rule An inference rule specifies a permitted syntactic step in a calculus: A rule instance replaces the placeholders with formulas, respecting any side conditions.