Modus Tollendo y Modus Ponendo

REGLAS DE INFERENCIA
Modus Tollendo y Modus Ponendo

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 POLENDO Ponens "afirmando afirma "  

6. Modus Polendo 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.