Modus Ponendo Ponens

Modus Ponendo Ponens (MPP). (Modo de poner poniendo) Si tenemos una fórmula [v. fórmula bien formada] condicional y en otra premisa el antecedente afirmado, podemos afirmar el consecuente.

Ejemplos:

1) [(p --> q)                        1) -p --> q

2) p                                    2) -p

\\ p                                      \\\ q      

1. (p & q) --> (r v s)               1) -p --> q

2. (p & q)                               2) -p        

\\ (r v s)                                  \\\ -q