Regulo di infero o deduktala regulo esas, apta por determinita deduktala sistemo, regulo lasanta agnoskar frazi baze de kateno di frazi pri determinita strukturo ja antee agnoskita. Ol es strukturala regulo di deduktala infero.