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

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

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


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


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

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


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

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "ПРОИЗВОДНОЕ ПРАВИЛО" в других словарях:

  • Производное слово — Производное слово  главное, исходное понятие словообразования. Производное слово  это слово, образованное, произведённое от какого либо другого слова или словосочетания: лёд → ледник, ледяной, обледенеть; колоть лёд → ледокол; голый лёд …   Википедия

  • правило — Заимств. из ст. сл. яз. Суф. производное (суф. л ) от правити «устанавливать, поправлять, наставлять», суф. образования от правый «правильный» (см. правый). Правило буквально «установление» …   Этимологический словарь русского языка

  • ДОПУСТИМОЕ ПРАВИЛО — вывода правило, добавление к рого в исчисление не меняет объема выводимых в этом исчислении слов. Введение в исчисление Д. п. является мощным и часто применяемым средством сокращения выводов, во многих случаях полезно для совершенствования… …   Математическая энциклопедия

  • Русское личное имя — Святцы (Печатный двор, 1646 год) …   Википедия

  • Военный жаргон — Содержание 1 Причины появления 2 Исследования военного жаргона …   Википедия

  • АНАТОМИЯ СРАВНИТЕЛЬНАЯ — называемая также сравнительной морфологией, это изучение закономерностей строения и развития органов путем сопоставления различных видов живых существ. Данные сравнительной анатомии традиционная основа биологической классификации. Под морфологией …   Энциклопедия Кольера

  • Антидепрессанты — Антидепрессанты  психотропные лекарственные средства, применяемые прежде всего для лечения депрессии. У депрессивного больного они улучшают настроение, уменьшают или снимают тоску, вялость, апатию, тревогу и эмоциональное напряжение,… …   Википедия

  • ВИТАМИНЫ — органические вещества, необходимые в небольших количествах в пищевом рационе как человека, так и большинства позвоночных. Синтез витаминов, как правило, осуществляется растениями, а не животными. Ежедневная потребность человека в витаминах… …   Энциклопедия Кольера

  • БОГ — [греч. θεός; лат. deus; слав. родствен древнеинд. господин, раздаятель, наделяет, делит, древнеперсид. господин, название божества; одно из производных общеслав. богатый]. Понятие о Боге неразрывно связано с понятием Откровения. Предметом… …   Православная энциклопедия

  • Арабское имя — Стилизированная подпись султана Махмуда II правителя Османской империи Арабская система имён считается одной из наиболее сложных среди современных традиций именования: большинство арабов не имеют простого имени, состоящего из личного имени и… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»