deducible rule

Мат. выводимое правило

Источник: Полный англо-русский словарь на Gufo.me