PONENDO PONES
En lógica, el modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:

Si A, entonces B

A

Por lo tanto, B

TODOS LOS HOMBFRES SON INFILES ENTONCES NINGUNO ES FELIZ

SON HOMBRES

SON SON FELICES