Métodos de Demostración
Métodos de Demostración
Métodos de Demostración
• 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)
∃𝑥𝑃(𝑥)
• Particularización existencial
∴𝑃 𝑐 𝑝𝑎𝑟𝑎 𝑎𝑙𝑔𝑢𝑛 𝑐
𝑃 𝑐 𝑝𝑎𝑟𝑎 𝑎𝑙𝑔𝑢𝑛 𝑐
• 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.