Akademik

(modus ponens), правило отделения,- вывода правило в формальных логич. системах. Правило М. п. записывается в виде схемы

где Аи В- обозначения для формул формальной логич. системы, а - логич. связка импликации. М. п. разрешает выводить Виз посылок А(малая посылка) и (большая посылка).

Если в нек-рой интерпретации формальной системы формулы Аи истинны, то по смыслу импликации истинна формула В. М. п. вместе с другими правилами вывода и аксиомами формальной системы определяет класс формул, выводимых из множества формул М, как наименьший класс, содержащий формулы из М, аксиомы и замкнутый относительно правил вывода. М. п. можно рассматривать как операцию над выводами данной формальной системы, позволяющую образовывать вывод формулы Визвывода формулы Аи вывода формулы .

В. Н. Гришин.