Правило вывода
правило преобразования некоторой формальной системы, дедуктивное правило, правило-разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание) пли выражающих их формул), называемых посылками, к некоторому определённому утверждению (суждению, высказыванию, формуле) — заключению. П. В., вид посылок и заключения которого указан явно, называют прямым. Таково, например, П. В. Исчисления высказываний (См. Исчисление высказываний), позволяющее переходить от произвольной конъюнкции (См. Конъюнкция) к любому её члену, или П. В., разрешающее присоединить к произвольному высказыванию любое др. Высказывание посредством операции дизъюнкции (См.
Дизъюнкция). Если в посылках и заключении указаны лишь виды выводов, от одного из которых разрешается переходить к другому, то налицо правило косвенного вывода. Типичный пример — т. Н. Теорема о дедукции (правило введения импликации из натурального исчисления (См. Натуральное исчисление) высказываний или предикатов), позволяющая от любого вывода A1, A2,..., An-1, An |— B перейти (при некоторых естественных ограничениях) к выводу вида A1, A2,..., An-1, An |—An ⊃ B. П. В., выражающие способы и приёмы содержательных рассуждений, были частично систематизированы ещё в рамках традиционной формальной логики (в виде т. Н. Модусов Силлогизма), откуда затем (иногда с видоизменениями) перешли в математическую логику, как, например, правило modus ponens (схема силлогизма, или правило зачёркивания), разрешающее от любой импликации и её антецедента (посылки) перейти к её сукцеденту (заключению).
Кроме того, П. В. Делятся на исходные (основные, постулированные) и выводимые из исходных (посредством некоторых метатеорем). Для исходных П. В. Формальных систем (исчислений (См. Исчисление)), являющихся, как и аксиомы, постулатами данной системы, встают обычные для аксиоматических систем проблемы непротиворечивости (См. Непротиворечивость), полноты (См. Полнота) и независимости (См. Независимость). Поскольку П. В. В той или иной мере выражают отношение логические. Следования, а между этим отношением и операцией импликации для большей части логических исчислений существует тесная связь, то такая связь имеется между П. В. И теоремами любого исчисления, в частности между исходными П. В. И аксиомами (например, аналогами упомянутых выше П.
В. Натурального исчисления являются, соответственно, аксиомы исчисления высказываний А & В ⊃ А, А & В ⊃ В, А ⊃ А ∨ В и В ⊃ В ∨ В). Лит. Слупецкий Е., Борковский Л., Элементы математической логики и теория множеств, пер. С польск., М., 1965. Серебрянников О. Ф., Эвристические принципы и логические исчисления, М,, 1970. Смирнов В. А., формальный вывод и логические исчисления, М., 1972. См. Также лит. При статьях Аксиоматический метод, Дедукция.
Дополнительный поиск Правило вывода
На нашем сайте Вы найдете значение "Правило вывода" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Правило вывода, различные варианты толкований, скрытый смысл.
Первая буква "П". Общая длина 14 символа