Die Schlussregel, dass sich aus ⊢ α {\displaystyle {}\vdash \alpha } und ⊢ α → β {\displaystyle {}\vdash \alpha \rightarrow \beta } die Beziehung ⊢ β {\displaystyle {}\vdash \beta } ergibt, heißt Modus ponens.