Die Schlussregel, dass sich aus ${\displaystyle {}\vdash \alpha }$ und ${\displaystyle {}\vdash \alpha \rightarrow \beta }$ die Beziehung ${\displaystyle {}\vdash \beta }$ ergibt, heißt Modus Ponens.