Modus ponens
Modus ponens («правило вывода»): если [math]\displaystyle{ A }[/math] и [math]\displaystyle{ A \to B }[/math] — выводимые формулы, то [math]\displaystyle{ B }[/math] также выводима.
Форма записи: [math]\displaystyle{ \tfrac{A,\; A \to B}{B} }[/math], где [math]\displaystyle{ A, B }[/math] — любые формулы.
Правило вывода модус поненс, обычно называемое правилом отделения или гипотетическим силлогизмом, позволяет от утверждения условного высказывания [math]\displaystyle{ A \to B }[/math] и утверждения его основания [math]\displaystyle{ A }[/math] (антецедента) перейти к утверждению следствия [math]\displaystyle{ B }[/math] (консеквента). Например, если нечто является металлом, то оно проводит ток ([math]\displaystyle{ A \to B }[/math]), цинк является металлом ([math]\displaystyle{ A }[/math]), значит цинк проводит ток ([math]\displaystyle{ B }[/math]). Обратное утверждение не всегда верно: никель и морская вода проводят ток, но никель — металл, а морская вода не металл. Итого, если из [math]\displaystyle{ A }[/math] следует [math]\displaystyle{ B }[/math], и [math]\displaystyle{ B }[/math] — истинно, то [math]\displaystyle{ A }[/math] может быть как истинно, так и ложно.
Modus ponens — правило вывода в исчислении высказываний. Является частным случаем правила резолюций.