ВЫВОДА ПРАВИЛО


ВЫВОДА ПРАВИЛО

- способ порождения объектов, называемых заключением В. п., по множеству объектов, называемых посылками правила; формулирование В. п. играет решающую роль при описании исчислений (часто данное В. п. имеет смысл лишь в контексте данного исчисления). Для исчислений, снабженных семантикой (в частности, большинства логико-математических исчислений), В. п. сохраняет истинность, т. е. по истинным посылкам позволяет породить лишь истинное заключение; наиболее знаменитый пример такого В. п.- правило модус поненс. В большинстве изучавшихся исчислений всякое применение В. п. имеет лишь конечное число посылок (важнейшее исключение - Карнапа правило), обычно число посылок данного В. п. остается неизменным для всех его применений. Количество возможных применений данного В. п. бывает, как правило, неограниченным.

Способы формулирования В. п. весьма разнообразны, они зависят от языка исчисления и включают переменные различных типов. Подавляющее большинство используемых В. п. может быть порождено по следующей общей схеме: выбирая алфавит А, не содержащий буквы , и натуральное число l, называют l-посылочным В. п. нек-рый алгоритм над алфавитом ; если применимо к слову ( - слова в Л, а символ играет роль запятой), то считаются посылками, а - заключением нек-рого применения этого В. п. Частным случаем таких В. п. являются нуль-посылочные В. п. (или аксиом схемы). В любом исчислении, содержащем лишь правила описанного типа, множество выводимых слов перечислимо. Обычно для В. п. выполнено и более жесткое требование: можно алгоритмически распознать, выводимо ли из за одно применение правила. С. Ю. Маслов.


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

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

  • ПРАВИЛО ВЫВОДА — правило, определяющее переход от посылок к следствиям; более точно правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний (формул), называемым посылками, и одним определенным высказыванием (формулой),… …   Большой Энциклопедический словарь

  • ПРАВИЛО ВЫВОДА —         определяет переход от посылок к следствиям; более точно устанавливает соответствие между некоторой совокупностью высказываний (формул), наз. посылками, и одним определ. высказыванием (формулой), наз. логич. следствием из этих посылок.… …   Философская энциклопедия

  • Правило вывода —         правило преобразования некоторой формальной системы, дедуктивное правило, правило разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание)… …   Большая советская энциклопедия

  • правило вывода — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN rule of inference …   Справочник технического переводчика

  • правило вывода — правило, определяющее переход от посылок к следствиям. П. в. указывает, каким образом высказывания, истинность которых известна, могут быть видоизменены, чтобы получить новые истинные высказывания. Напр., правило отделения устанавливает, что если …   Словарь терминов логики

  • ПРАВИЛО ВЫВОДА — правило, определяющее переход от посылок к следствиям; более точно правило, устанавливающее определ. соответствие между нек рой совокупностью высказываний (формул), называемых посылками, и одним определ. высказыванием (формулой), называемым логич …   Естествознание. Энциклопедический словарь

  • Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций  это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка …   Википедия

  • правило вывода — правило, определяющее переход от посылок к следствиям; более точно  правило, устанавливающее определенное соответствие между некоторой совокупностью высказываний (формул), называемых посылками, и одним определенным высказыванием (формулой),… …   Энциклопедический словарь

  • ПРАВИЛО ВЫВОДА — См. трансформация (3) …   Толковый словарь по психологии

  • ПРОИЗВОДНОЕ ПРАВИЛО — вывода для данного исчисления вывода правило, заключение к рого выводимо из его посылок в рассматриваемом исчислении. Напр., в высказываний исчислении правило вывода является П. п., поскольку в этом исчислении имеет место выводимость из посылок:… …   Математическая энциклопедия

Книги

Другие книги по запросу «ВЫВОДА ПРАВИЛО» >>


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

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.