Métodos de demostración

Cuando es correcto un argumento matemático? Que

métodos se pueden utilizar para construir argumentos
matemáticos?
• Un axioma es una proposición que se considere “evidente” y se
acepta sin requerir demostración previa.
• Un postulado es una proposición no evidente por si misma, ni
demostrada, pero que se acepta ya que no existe otro principio al que
pueda ser referida.
Si x es símbolo de variable entonces axioma x=x es
valida
Postulado de Euclides: por un punto exterior a una recta se puede
trazar una y solo una paralela a dicha recta.
• Teorema es una sentencia que se puede verificar que es verdadera.
• Demostración es una secuencia de sentencias que utilizan para
demostrar un teorema.

Como derivar nuevas sentencias a partir de las dadas?

axiomas o postulados

Sentencias hipótesis del teorema

teoremas demostrados anteriores

reglas de inferencia para enlazar los pasos

• Falacia es razonamiento incorrecto.

• Lema es un teorema sencillo.

• Corolario es una proposición que se establece directamente a partir

de un teorema demostrado.

• Conjetura – una sentencia con el valor de verdad desconocido.

(Cuando lo demuestran será un teorema).
Métodos de demostración son importantes
para
• Demostrar teoremas matemáticos
• Verificar si un programa de PC es correcto
• Verificar si las especificaciones del sistema son consistentes
• Verificar si SO es seguro
• Lenguajes algorítmicos

• Reglas de inferencia
Ejemplos
• SI nieva hoy, iremos a esquiar. Esta nevando hoy.
(Encontrar la conclusión).

• Ahora estamos bajo cero. Por tanto, bien estamos bajo cero o bien
llueve ahora.
(Que regla(s) usaron para llegar a la conclusión)

• Si n es mayor que 3, entonces n*n es mayor que 9. Por tanto, si n es

mayor que 3, n*n es mayor que 9.
Argumentos validos
• Se dice que un argumento deductivo es correcto si siempre que
todas las hipótesis son verdaderas, la conclusión también lo es.
(𝑝1 , 𝑝2 , … , 𝑝𝑛 ) → 𝑞
3 2 3 2 3
Ejemplo: “Si 2> 2
𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 2 >(2) ”. “ 2> 2
”. Por tanto,
2>(9/4).
Ejercicio. Comprobar la conclusión.
• Esta tarde no hace sol y hace mas frio 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.
• Por tanto, estaremos en casa para la puesta de sol.
Falacias.
• Se basan en contingencias, no en tautologias:
• Falacia de afirmar la conclusión.
Si haces todos los problemas de libro (p), entonces aprenderás
matemáticas discretas (q). Tu has aprendido matemáticas discretas. Por
tanto, hiciste todos los problemas de este libre. (𝑝 → 𝑞) ∧ 𝑞

• Falacia de negar la hipótesis. [(𝑝 → 𝑞) ∧∼ 𝑝] →∼ 𝑞

Reglas de inferencia para cuantificadores.
∀𝑥𝑃(𝑥)
• Particularización universal
∴𝑃(𝑐)

∃𝑥𝑃(𝑥)
• Particularización existencial
∴𝑃 𝑐 𝑝𝑎𝑟𝑎 𝑎𝑙𝑔𝑢𝑛 𝑐

𝑃(𝑐) para algun c arbitrario

• ∴∀𝑥𝑃(𝑥)
Generalización universal

𝑃 𝑐 𝑝𝑎𝑟𝑎 𝑎𝑙𝑔𝑢𝑛 𝑐
• Generalización existencial
∴∃𝑥𝑃(𝑥)
• Todo el mundo en la clase de matemática discreta esta matriculado
en paradigmas de programación. María es estudiante de matemática
discreta. Por lo tanto, María esta matriculada en paradigmas de
programación.
• Ningún fotógrafo pinta. Todos los que no son fotógrafos son
escultores. Por lo tanto todos los pintores son escultores.
• Un estudiante de esa clase no ha leído el libro. Todo el mundo en esa
clase aprobó el primer examen. Alguien que aprobó el primer examen
no ha leído el libro.
• A todos los loros les gusta la fruta. Mi pájaro no es un loro. Por tanto,
a mi pájaro no le gusta la fruta.
• Todos en la clase de calculo aman las demostraciones. Alguien en la
clase de calculo nunca ha tomado algebra. Alguien que ama las
demostraciones nunca ha tomado algebra.
• Tarea: pp. 67-69. # 12cd, 9cd, 15, 8e, 2cd.