Als Schlussform

Schema	Beispiel
${\displaystyle A\to B}$ ${\displaystyle A}$ modus ponendo ponens ${\displaystyle B}$	Wenn es regnet, wird die Straße nass. Es regnet. modus ponendo ponens Die Straße wird nass.

Aus den Prämissen der Form ${\displaystyle A\to B}$ und ${\displaystyle A}$ wird auf die Conclusio ${\displaystyle B}$ geschlossen.

Formal wird der Modus ponens mit dem Ableitungsoperator ${\displaystyle \vdash }$ als Schlussregel ${\displaystyle A,A\to B\vdash B}$ notiert.

Als Aussage

Obwohl der Modus ponendo ponens eine Schlussregel, also ein metasprachliches Konzept ist, wird die Bezeichnung „Modus ponens“ gelegentlich auch für objektsprachliche Ausdrücke mit der folgenden Gestalt verwendet:

(A ∧ (A → B)) → B

Da aber Schlussregeln und Aussagen ganz unterschiedliche Konzepte sind, ist es wissenschaftlich eher unglücklich, sie mit derselben Bezeichnung zu benennen. Generell ist die Vermischung von Objekt- und Metasprache problematisch und sollte normalerweise unterbleiben.

Als Subjunktionsbeseitigungsregel

Als Abtrennungsregel in logischen Kalkülen (auch: Beseitigungsregel der Subjunktion (Implikation) in den Systemen des natürlichen Schließens) lautet er so:

→ Abtrennregel: (A → B), A ⇒ B

Als Schnittregel

In metalogischer Fassung ist es die Schnittregel:

${\displaystyle \qquad {\frac {\Gamma \|A\qquad A,\Delta \|B}{\Gamma ,\Delta \|B}}}$

(Hier wird der Doppelstrich || für die Abschließbarkeit von Dialogstellungen benutzt.)

Dass die Schnittregel in den Gentzentypkalkülen zulässig ist, besagt der Gentzensche Hauptsatz.