La regla del "modus ponendo ponens" puede escribirse en subsiguiente notación: