Словарь логики
"Правило Вывода"

Главная - Словарь логики - буква П - Правило Вывода

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

Поделитесь с друзьями:

Вы можете поставить ссылку на это слово:

будет выглядеть так: Правило Вывода

будет выглядеть так: Что такое Правило Вывода

Словарь логики"Правило Вывода"

Словарь логики
"Правило Вывода"