Rule of Inference

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A template or schema that permits deriving a conclusion formula from one or more premise formulas within a deductive system; rules of inference specify allowable steps in formal proofs.