Математическая энциклопедия - модус поненс

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

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

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

В. Н. Гришин.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985