Что такое Правило Вывода? Значение и толкование слова pravilo vyvoda, определение термина
Правило Вывода - — правило, определяющее переход от посылок к следствиям. П. в. указывает, каким образом высказывания, истинность которых известна, могут быть видоизменены, чтобы получить новые истинные высказывания. Напр., правило отделения устанавливает, что если истинны два высказывания, одно из которых имеет форму импликации, а другое является основанием (антецедентом) этой импликации, то и высказывание, являющееся следствием (консеквентом) импликации, истинно. Это правило, называемое также правилом модус поненс, позволяет «отделить» следствие истинной импликации, при условии, что ее основание истинно. Скажем, от посылок «Если цирконий — металл, он электропроводен» и «Цирконий — металл» можно перейти к заключению «Цирконий электропроводен».
Посмотреть значение слова Правило Вывода в других словарях:
Что означает термин Правило Вывода?Энциклопедический словарьВозможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:
Правило Локка - — правило, формулируемое так: если некоторое свойство A принадлежит любому, но фиксированному...Правило Отделения - см.: Модус поненс.Прагматика - — раздел семиотики, изучающий отношения между знаковыми системами и теми, кто воспринимает,...Превращение - (лат. obversio) в традиционной логике — вид непосредственного умозаключения, характеризующегося...Предвосхищение Основания - (лат. petitio principii) - ошибка логическая в доказательстве, заключающаяся в том, что в...Предикат - (от лат. praedicatum - сказанное) - языковое выражение, обозначающее какое-то свойство или...Предложение - - соединение слов, имеющее самостоятельный смысл, т. е. выражающее законченную мысль. Логика...Предметная Область - или: Универсум рассуждения, область теории, — множество объектов, рассматриваемых в пределах...Предпочтений Логика - - логика сравнительных оценок, выражаемых при помощи понятий «лучше», «хуже», «равноценно»,...Предсказание - — вывод о существовании неизвестных ранее фактов, объектов или их свойств, связей между...