Правило Вывода

правило преобразования некоторой формальной системы, дедуктивное правило, правило-разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание) пли выражающих их формул), называемых посылками, к некоторому определённому утверждению (суждению, высказыванию, формуле) — заключению. П. В., вид посылок и заключения которого указан явно, называют прямым. Таково, например, П. В. Исчисления высказываний (См. Исч..

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

Правило, определяющее переход от посылок к следствиям. Более точно - правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний (формул), называемым посылками, и одним определенным высказыванием (формулой), называемым логическим следствием из этих посылок.. ..

См. Трансформация (3).. ..

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

(лат. Post hoc ergo propter hoc) — логическая ошибка, заключающаяся в том, что простую последовательность событий во времени принимают за их причинную связь. Напр., когда после появления кометы возникали какие-то несчастья, часто комету считали причиной несчастья. Когда в трубке возникала пустота и вода в ней поднималась, то думали, что пустота есть причина поднятия воды и т. Д. Данная ошибка лежит в основе многочисленных суеверий, легко возникающих в результате соединения во времени двух событи..

— логическая ошибка в индуктив­ном выводе. Суть ее заключается в том, что, рассмотрев несколько частных случаев из какого-либо класса явлений, делают вывод обо всем классе. Напр. 1 — простое число, 2 — простое число, 3 — простое число. Следовательно, все натуральные числа — простые. Ошибка П.о. Особенно часто совершается в повседневной жизни, когда люди по одному-двум случаям судят о целом классе.. ..

— правило, формулируемое так. Если некото­рое свойство A принадлежит любому, но фиксированному элементу изучаемого множества М (т. Е. Является параметром), то это свойство принадлежит и всем элементам данного множества. Символически оно записывается так. Над чертой в посылке А(а) указывается принадлежность свой­ства А любому, но фиксированному элементу а некоторого множе­ства, под чертой, т. Е. В заключении, говорится о том, что свойство А принадлежит всем элементам этого множества. П. Л. Широко..

См. Модус поненс.. ..