правило вывода

правило вывода
правило, определяющее переход от посылок к следствиям. П. в. указывает, каким образом высказывания, истинность которых известна, могут быть видоизменены, чтобы получить новые истинные высказывания. Напр., правило отделения устанавливает, что если истинны два высказывания, одно из которых имеет форму импликации, а другое является основанием (антецедентом) этой импликации, то и высказывание, являющееся следствием (консеквентом) импликации, истинно. Это правило, называемое также правилом модус поненс, позволяет "отделить" следствие истинной импликации, при условии, что ее основание истинно. Скажем, от посылок "Если цирконий - металл, он электропроводен" и "Цирконий - металл" можно перейти к заключению "Цирконий электропроводен".

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Поможем написать реферат

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

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

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

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

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

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

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

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

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

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

  • КАРНАПА ПРАВИЛО — правило бесконечной индукции, w правило, вывода правило, состоящее в том, что если для арифметич. формулы j(х). доказаны предложения j(0), j(1),..., j(n),..., то можно считать доказанным предложение Это правило впервые введено в рассмотрение Р.… …   Математическая энциклопедия


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

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