Saltar al contenido principal
REGLAS DE
INFERENCIA
LOGICA SIMBOLICA
POR EDIN CALLES
MODUS TOLLENDO PONENS
"NEGANDO NIEGA"
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.
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.
MODUS PONENDO PONENS
"AFIRMANDO AFIRMA"
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.