REGLAS DE INFERENCIA

LOGICA SIMBOLICAPOR 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 PONENSEn 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.