Выберите букву, на которую начинается слово, значение которого Вы хотите узнать:
АБВГДЗИКЛМНОПРСТУФЦЧЭЮЯ
[Правило Вывода]
аЧ правило, определяющее переход от посынлок к следствиям. П. в. указывает, каким образом высказывания, иснтинность которых известна, могут быть видоизменены, чтобы полунчить новые истинные высказывания. Напр., правило отделенния устанавливает, что если истинны два высказывания, одно из которых имеет форму импликации, а другое является основанием (антецедентом) этой импликации, то и высказывание, являющееся следствием (консеквентом) импликации, истинно. Это правило, нанзываемое также правилом модус поненс, позволяет лотделить