Rules for deriving truths from previously stated or proven truths. It is the basis of the inference engine in most expert systems. See also chain rule, modus ponens, modus tollens, resolution.