Este documento presenta dos reglas de inferencia lógica: Modus Tollens y Modus Ponens. Modus Tollens, también conocido como eliminación de la disyunción, establece que si una de dos afirmaciones debe ser verdadera y se descarta una de ellas, entonces la otra debe ser verdadera. Modus Ponens establece que si una premisa condicional es verdadera y su antecedente también lo es, entonces su consecuente debe ser verdadero. Ejemplos ilustran el uso de ambas reglas.

1. REGLAS DE
INFERENCIA
LOGICA SIMBOLICA
POR EDIN CALLES

2. MODUS TOLLENDO PONENS
"NEGANDO NIEGA"

3. MODUS TOLLENDO PONENS
También conocido como eliminación de la disyunción o eliminación del o,
es una regla de inferencia válida. Si se nos dice que al menos una de las dos
afirmaciones es verdadera; y también se nos dijo que no es la primera
la que es verdadera; se puede inferir que tiene que ser la última la que
es verdadera. Si P o Q es verdadero y P es falso, entonces
Q es verdadero.

4. Ejemplo 1:
- Yo o elegiré sopa o elegiré ensalada.
- No voy a elegir sopa.
*Por lo tanto, voy a elegir ensalada.
Ejemplo 2:
Es de color rojo o azul.
No es azul.
Por lo tanto, es de color rojo.

5. MODUS PONENDO PONENS
"AFIRMANDO AFIRMA"

6. MODUS PONENDO PONENS
En lógica, el modus Ponendo ponens (MPP o MP) es el
razonamiento en el cual, en la primera premisa se plantea un
condicional, en la segunda se afirma el antecedente y, como
conclusión, se afirma el consecuente.
Ejemplo:
1a. premisa: Si tengo dinero entonces compro una bicicleta.
2a. premisa: Tengo dinero
Conclusión: Compro una bicicleta.