Большой англо-русский и русско-английский словарь
мат. derived rule
Математическая энциклопедия
вывода для данного исчисления - вывода правило, заключение к-рого выводимо из его посылок в рассматриваемом исчислении. Напр., в высказываний исчислении правило вывода
является П. п., поскольку в этом исчислении имеет место выводимость из посылок:
Всякое П. п. является допустимым правилом, но не всякое допустимое правило является П. п. Напр., подстановки правило в исчислении высказываний является допустимым правилом, но не производным.
Лит.:[1] Клини С. К., Введение в метаматематику, пер. с англ., М., 1957. С. Н. Артемов.