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

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

Источник: Философский словарь на Gufo.me


Значения в других словарях

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