правило вывода это:

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

Энциклопедический словарь. 2009.

Смотреть что такое "правило вывода" в других словарях:

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

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

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

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

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

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

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

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

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

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

Книги

Другие книги по запросу «правило вывода» >>


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

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