" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ПРОИЗВОДНОЕ ПРАВИЛО

Значение ПРОИЗВОДНОЕ ПРАВИЛО в математической энциклопедии:

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

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

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

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