— правило , определяющее переход от посылок к следствиям. П. в. указывает, каким образом высказывания, истинность которых известна, могут быть видоизменены, чтобы получить новые истинные высказывания. Напр., правило отделения устанавливает, что если истинны два высказывания, одно из которых имеет форму импликации, а другое является основание м (антецедентом) этой импликации, то и высказывание , являющееся следствием (консеквентом) импликации, истинно . Это правило, называемое также правилом модус поненс, позволяет «отделить» следствие истинной импликации, при условии, что ее основание истинно. Скажем, от посылок « Если цирконий — металл , он электропроводен» и « Цирконий — металл» можно перейти к заключению «Цирконий электропроводен».
Что такое Правило Вывода? Значение Правило Вывода в словаре логики
Правило Вывода - — правило, определяющее переход от посылок к следствиям. П. в. указывает, каким образом высказывания, истинность которых известна, могут быть видоизменены, чтобы получить новые истинные высказывания. Напр., правило отделения устанавливает, что если истинны два высказывания, одно из которых имеет форму импликации, а другое является основанием (антецедентом) этой импликации, то и высказывание, являющееся следствием (консеквентом) импликации, истинно. Это правило, называемое также правилом модус поненс, позволяет «отделить» следствие истинной импликации, при условии, что ее основание истинно. Скажем, от посылок «Если цирконий — металл, он электропроводен» и «Цирконий — металл» можно перейти к заключению «Цирконий электропроводен».
Однокоренные и похожие слова:
Значение слова Правило Вывода в других словарях:
- Что такое Правило Вывода? Энциклопедический словарь
Узнайте лексическое, прямое, переносное значение следующих слов:
- Противоположность Логическая - – вид отношения между противоположными понятиями или суждениями ...
- Пропозициональная Связка - операция, позволяющая из данных суждений (высказываний) строить ...
- Причинности Логика - раздел современной логики, занимающийся исследованием структуры и ...
- Принцип Предметности - один из трех основных принципов теории отношения ...
- Принцип Объемности - (экстенсиональности) (от лат. extentio — протяжение) — принцип ...
- Принцип Взаимозаменимости - один из трех основных принципов теории отношения ...
- Приведение К Абсурду - или: Редукция к абсурду, приведение к нелепости (лат. ...
- Пересечение Классов (Множеств) - логическая операция по нахождению общих для класса ...
- Паранепротиворечивая Логика - логика, не позволяющая выводить из противоречия произвольное ...
- Парадоксы Импликации - — доказуемые в логике классической и некоторых других ...
- Парадигма - (от греч. paradeigma — пример, образец) — совокупность ...
- Оценочное Высказывание - высказывание, устанавливающее абсолютную или сравнительную ценность какогото ...
- Оценок Логика - — раздел логики, изучающий логическую структуру и логические ...
- Отрицательное Высказывание - см.: Отрицание. ...
- Достаточного Основания Принцип - принцип, требующий, чтобы в случае каждого утверждения ...