Un ejemplo de un argumento que se ajuste a la forma modus ponens: