Модус Поненс

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