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

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

ПРАВЕЖ - в древнерусском праве - исполнение судебного решения, принуждение к уплате долгов, пошлин и т. П. Битьем батогами.. ..

ПРАВИК Владимир Павлович (1962-86) - начальник караула военизированной пожарной части МВД СССР по охране Чернобыльской АЭС, лейтенант внутренней службы, Герой Советского Союза (1986, посмертно). Участник тушения пожара при ликвидации аварии на станции (апрель 1986).. ..

"ПРАВИТЕЛЬСТВЕННЫЙ ВЕСТНИК" - ежедневная официальная газета российского Министерства внутренних дел в 1869-1917, Санкт-Петербург. Публиковала правительственные распоряжения и сообщения. С марта 1917 называется "Вестник Временного правительства". Закрыта после Октябрьской революции.. ..

ПРАВИТЕЛЬСТВО - высший орган исполнительной власти. Возглавляется главой государства (президентом) или премьер-министром (канцлером, председателем совета или кабинета министров).. ..

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

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

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

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