Regulo di infero

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.

Kategorio:Matematikala logiko