En cálculo secuencial de conclusión única, el "modus ponens" es la regla de corte.