Математическая энциклопедия - производное правило

вывода для данного исчисления вывода правило, заключение к-рого выводимо из его посылок в рассматриваемом исчислении. Напр., в высказываний исчислении правило вывода

является П. п., поскольку в этом исчислении имеет место выводимость из посылок:

Всякое П. п. является допустимым правилом, но не всякое допустимое правило является П. п. Напр., подстановки правило в исчислении высказываний является допустимым правилом, но не производным.

Лит.:[1] Клини С. К., Введение в метаматематику, пер. с англ., М., 1957. С. Н. Артемов.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985