1. www.jcorozcos.com Octubre 2015 M. en C. José del Carmen Orozco Santiago Departamento de Matemáticas Cubículo #7

2. www.jcorozcos.com Octubre 2015  Modus Ponendo Ponens #Ejercicio 1 Premisa 1. Si él está en el partido de fútbol, entonces él está en el estadio. Premisa 2. Él está en el partido de fútbol. Conclusión. Él está en el estadio. #Ejercicio 2 Premisa 1. Si no hace frío, entonces el lago no se helará. Premisa 2. No hace frío. Conclusión. El lago no se helará.

3. www.jcorozcos.com Octubre 2015

6.  Ejemplos Modus Ponendo Ponens Esta regla de inferencia es el método (modus), que afirma (ponens) el consecuente, afirmando (ponendo) el antecedente.

7. www.jcorozcos.com Octubre 2015  Ejemplos Modus Ponendo Ponens

8. www.jcorozcos.com Octubre 2015  Doble Negación La regla de doble negación es una regla simple que permite pasar de una premisa única a la conclusión. Un ejemplo simple es el de una negación de negación, que brevemente se denomina “doble negación”. La regla de doble negación también actúa en sentido contrario. La abreviatura para esta regla es DN.

9. www.jcorozcos.com Octubre 2015

10.  Ejemplos MPP, DN, MTT.