Inference rules

Rules that allow one to derive logical consequences from a set of premises.