Modus ponens
Материал из Википедии — свободной энциклопедии
Modus ponens (правило заключений): если A и A→B — выводимые формулы, то B так же выводима.
Форма записи: 
, где A, B — любые формулы.
Modus ponens - правило вывода в исчислении высказываний. Является частным случаем правила резолюций.
