Modus ponendo ponens
De Wikipedia, la enciclopedia libre
Modus ponendo ponens (Latín: modo que afirmando afirma) es una regla de inferencia simple:
- Si P entonces Q.
- P.
- Entonces, Q.
Expresado en la notación de operadores lógicos:
donde 
representa la aserción lógica.
También se puede expresar de la siguiente forma:
![[p \and (p \rightarrow q)] \rightarrow q](http://upload.wikimedia.org/math/2/3/d/23da8b052a9c047d1dd37fea3c288b2a.png)
[editar] Justificacón vía tabla de la verdad
La validez de modus ponens en la lógica clásica puede ser demostrada fácilmente con el uso de una Tabla de valores de verdad
| p | q | p → q |
|---|---|---|
| C | C | C |
| C | F | F |
| F | C | C |
| F | F | C |
- C : cierto
- F: Falso
Cuando hablamos de modus ponens asumimos como premisa p → q y que p es cierto. Solo una linea de la tabla de la verdad - la primera - satisface estas dos condiciones. En esta linea, vemos que q también es cierto. De este modo cuando p → q es cierto y p es cierto, obtenemos que q también debe ser cierto. Sin embargo, es importante notar que el modus ponens es cierto si el antecedente (p) es falso o el consecuente (q) es cierto.
