Производное Правило
вывода для данного исчисления - вывода правило, заключение к-рого выводимо из его посылок в рассматриваемом исчислении. Напр., в высказываний исчислении правило вывода является П. П., поскольку в этом исчислении имеет место выводимость из посылок. Всякое П. П. Является допустимым правилом, но не всякое допустимое правило является П. П. Напр., подстановки правило в исчислении высказываний является допустимым правилом, но не производным. Лит.:[1] Клини С. К., Введение в метаматематику, пер. С англ., М., 1957. С. Н. Артемов.
Дополнительный поиск Производное Правило
На нашем сайте Вы найдете значение "Производное Правило" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Производное Правило, различные варианты толкований, скрытый смысл.
Первая буква "П". Общая длина 19 символа