METODOS DE DEMOSTRACION

PREGUNTAS: Cuando es correcto un argumento matemtico ? Que mtodos se pueden usa para construir argumentos matemticos ? DEFINICIONES: Teorema: Es una sentencia que se puede verificar que es verdadera Axioma o postulado: matemticas. Suposiciones que subyacen a las estructuras

Reglas de inferencia: Medios usados para deducir conclusiones a partir de otras afirmaciones, enlazando pasos para llegar a una demostracin. La idea es demostrar teoremas mediante una secuencia de sentencias que constituyen un argumento llamado demostracin. Para hacer esta derivacin de sentencias se usan los axiomas y las reglas de inferencia
1 Matemticas Discretas

METODOS DE DEMOSTRACION
REGLAS DE INFERENCIA Cada regla de inferencia tiene su origen en una implicacin lgica (tautologas). Estas justifican los pasos dados para demostrar que a partir de una serie de hiptesis se llega de forma lgica a una conclusin. La idea es que regla de inferencia utiliza el argumento Modus Ponens: Regla de separacin. Mtodo de afirmacin [p p p q q Significa por lo tanto, e indica que q es la conclusin de las premisas p y p (p q)] q y en forma de tabla

Ejemplo: Si Carlos compra casa, entonces tendr que pedir un prstamo. Carlos compra una casa. Por lo tanto Carlos pidi un prstamo.
2 Matemticas Discretas

METODOS DE DEMOSTRACION
Chucho se gana el baloto. Si Chucho se gana el baloto Lola no lava ms ropa. Por lo tanto Lola no lava ms ropa. Modus Tollens: Mtodo de negacin [(p q) q] p y en forma de tabla

p q q

p El nombre se debe a que se niega la conclusin, q, para demostrar p Ejemplo: Si pongo el cable, entonces el monitor prender. No prendi el monitor. Por lo tanto, el cable no fue puesto. Si corro me quedar sin aliento. No estoy sin aliento. Por lo tanto, no he corrido.

Matemticas Discretas

METODOS DE DEMOSTRACION
Regla de adicin: p (p q) y en forma de tabla p p

Ejemplo: El depsito est vaco. Por lo tanto, bien el depsito est vaco o bien la llave est abierta. Regla de simplificacin: (p q) p y en forma de tabla p p q

Ejemplo: Est vaco el depsito y la llave est abierta. Por lo tanto, est vaco el depsito.

Matemticas Discretas

METODOS DE DEMOSTRACION
Silogismo hipottico: [(p q) (q r)] (p r) p q p q r r

Ejemplo: Si Ccuta gana el 80% de los puntos restantes, entonces queda campen de la reclasificacin. Si queda campen de la reclasificacin, entonces clasifica a la suramericana. Por lo tanto Si Ccuta gana el 80% de los puntos restantes, entonces clasifica a la suramericana

Matemticas Discretas

METODOS DE DEMOSTRACION

Matemticas Discretas

METODOS DE DEMOSTRACION

Matemticas Discretas

METODOS DE DEMOSTRACION
ARGUMENTO VALIDO Se dice que un argumento deductivo es CORRECTO si siempre que todas las hiptesis son verdaderas la conclusin lo es. La idea es mostrar que q se deduce lgicamente de las hiptesis p1, p2, , pn, o lo que es lo mismo, mostrar que la implicacion (p1 p2 pn) q es verdadera. Cuando hay muchas premisas, puede haber la necesidad de utilizar varias reglas de inferencia para demostrar que un argumento es correcto. Para ello se arma una estructura vertical de premisas teniendo en cuenta cada entrada en esa estructura debe cumplir alguna de estas caracterist.: pi es una hiptesis pi es una tautologa pi es una consecuencia lgica de proposiciones anteriores en la secuencia Se van construyendo premisas, hasta que se obtenga una premisa igual a la conclusin, en cuyo caso el argumento ser vlido.
8 Matemticas Discretas

METODOS DE DEMOSTRACION
Demostrar que la hiptesis esta tarde no hace sol y hace ms fro que ayer, iremos a nadar solo si hace sol, si no vamos a nadar, daremos un paseo en canoa, si damos un paseo en canoa, estaremos en casa para la puesta de sol, conducen a la conclusin estaremos en casa para la puesta de sol. p: Esta tarde hace sol q: hace mas frio que ayer r: iremos a nadar s: daremos un paseo en canoa t: Estaremos en casa para la puesta de sol La hiptesis queda: p q , r p , r s , s La conclusin es : simplemente t t

Paso Razonamiento 1. p q Hiptesis 2. r p Hiptesis 3. r s Hiptesis 4. s t Hiptesis 5. p 1; Simplificacion 6. r 5.2 ; Modus Tollens 7. s 6.3 ; Modus Ponens 8. t 7.4 ; Modus Ponens Luego el argumento es vlido.

Matemticas Discretas

METODOS DE DEMOSTRACION
Si me mandas un correo, entonces acabar de escribir el programa. Si no me mandas un correo, me ire a la cama temprano. Y si me voy a la cama temprano, me levantar descansado. Por lo tanto si no acabo de escribir el programa, me levantar descansado p: Me mandas un mail r: Me ire a la cama temprano Hiptesis: p q , p r,r s q: Terminar de escribir el programa s: Me levantar descansado Conclusin: q s

Paso Razonamiento 1. p q Hiptesis 2. p r Hiptesis 3. r s Hiptesis 4. q p 1 ; Contrarrecproco 5. q r 4.2 ; Silogismo hipottico 6. q s 5.3 ; Silogismo hipottico Luego el argumento es vlido.
10 Matemticas Discretas

METODOS DE DEMOSTRACION
Si trabajo o ahorro, entonces comprar una casa. Si compro una casa, entonces podr guardar el carro en mi casa. Por consiguiente, si no puedo guardar el carro en mi casa, entonces no ahorro p: Trabajo q: Ahorro r: Comprar una casa s: Podre guardar el carro en mi casa Hiptesis: (p q) Paso 1. (p q) r 2. r s 3. q (qvp) 4. q (pvq) 5. q r 6. q s 7. s q r,r s Conclusin: s q

Razonamiento Hiptesis Hiptesis Ley de Adicin Ley conmutativa 4.1 ; Silogismo hipottico 5.2 ; Silogismo hipottico 6 ; contrapositiva

Luego el argumento es vlido.

11 Matemticas Discretas

METODOS DE DEMOSTRACION
Si estudio o si soy un genio, entonces aprobar el curso. No me permitirn tomar el siguiente curso. Si apruebo el curso, entonces me permitirn tomar el siguiente curso. Por lo tanto, no estudi p: Estudio q: Soy un genio r: Apruebo el curso s: Permitir tomar el siguiente curso Hiptesis: (p q) r , s , r s Conclusin: p

Paso Razonamiento 1.(p q) r Hiptesis 2. s Hiptesis 3. r s Hiptesis 4. p (pvq) Ley de Adicin 5. p r 4.1 ; Silogismo hipottico 6. p s 5.3 ; Silogismo hipottico 7. p 6.2 ; Modus Tollens Luego el argumento es vlido.
12 Matemticas Discretas

METODOS DE DEMOSTRACION
Si estudio o si soy un genio, entonces aprobar el curso. No me permitirn tomar el siguiente curso. Si apruebo el curso, entonces me permitirn tomar el siguiente curso. Por lo tanto, no estudi p: Estudio q: Soy un genio r: Apruebo el curso s: Permitir tomar el siguiente curso Hiptesis: (p q) r , s , r s Conclusin: p

Paso Razonamiento 1.(p q) r Hiptesis 2. s Hiptesis 3. r s Hiptesis 4. r 3,2 ; Modus Tollens 5. p (pvq) Ley de Adicin 6. p r 5.1 ; Silogismo hipottico 7. p 6.4 ; Modus Tollens Luego el argumento es vlido.
13 Matemticas Discretas

METODOS DE DEMOSTRACION
Si estudio o si soy un genio, entonces aprobar el curso. No me permitirn tomar el siguiente curso. Si apruebo el curso, entonces me permitirn tomar el siguiente curso. Por lo tanto, no estudi Por contradiccin: se incluye en la demostracin la conclusin negada, donde el objetivo de la demostracin es llegar a una contradiccin. p: Estudio q: Soy un genio r: Apruebo el curso s: Permitir tomar el siguiente curso Hiptesis: (p q) Paso 1.(p q) r 2. s 3. r s 4. (p) 5. p 6. p (pvq) 7. p r 8. p s 9. s 10. s s 11. F r , s , r s Conclusin: p

Razonamiento Hiptesis Hiptesis Hiptesis Negacin de la conclusin 4 ; Doble negacin Ley de Adicin 6,1 ; Silogismo hipottico 7,3 ; Silogismo hipottico 8,5 ; Modus Ponens 9,2 ; Regla de la conjuncin Contradiccin
14

Luego el argumento es vlido.

Matemticas Discretas

METODOS DE DEMOSTRACION
Demostrar el siguiente teorema por el mtodo de contradiccin: [p (q r) ] [(q s) t ] (p s) t Paso Razonamiento 1.p (q r) Hiptesis 2. (q s) t Hiptesis 3. p s Hiptesis 4. t Negacin de la conclusin 5. (q s) 2,4 ; Modus Tollens 6. q s 5 ; Ley de Morgan 7. q 6 ; Simplificacin 8. s q 6 ; Ley conmutativa 9. s 8 ; Simplificacin 10. s p 3 ; Ley conmutativa 11. p 10,11 ; Silogismo disyuntivo 12. q r 11,1 ; Modus ponens 13. q 12 ; Simplificacin 14. q q 13,7 ; Conjuncin 15. F Contradiccin Luego el argumento es vlido
15 Matemticas Discretas

METODOS DE DEMOSTRACION
Si no especifico las condiciones iniciales, entonces mi programa no empezar. Si programo un ciclo infinito, entonces mi programa no terminar. Si el programa no empieza o si no termina, entonces el programa fallar. De ah que si el programa no falla, entonces especifiqu las condiciones iniciales y no program un ciclo infinito

16

Matemticas Discretas

LOGICA
Temas para profundizar: Mtodos para demostrar teoremas Demostraciones directas (p q) Demostraciones indirectas (Contrarrecproca) Demostracin por reduccin al absurdo (Contradiccin) Demostracin por casos (p1 p2 pn) q Reglas de inferencia para sentencias cuantificadas Lgica de predicados Skolemnizacin Unificacin Resolucin

17

Matemticas Discretas