Beruflich Dokumente
Kultur Dokumente
Definición: teorema
Una expresión que se ha demostrado como verdadera con respecto a
Técnicas de demostración axiomas, teoremas existentes.
p ←−−−−−−−−− hipótesis
q
p∧q ←−−−−−−−−− conclusión
Son reglas que justifican los pasos de una demostración:
Estas reglas se derivan de tautologı́as básicas de la forma Significado: Si p es V, y además q es V, entonces podemos inferir
“A ⇒ B” que p ∧ q es V
Esto es porque si asumimos que A es V, entonces el único caso Tautologı́a: p ∧ q ⇒ p ∧ q
en que A ⇒ B es V es cuando B también es V
Ejemplo:
Hipótesis:
Hoy comı́ tostadas (p)
Hoy tomé café (q)
Conclusión: hoy comı́ tostadas y tomé café (p ∧ q)
Reglas de Inferencia Reglas de Inferencia
Ley de Simplificación Ley de Adición
p∧q p
p p∨q
Significado: Si p ∧ q es V, podemos inferir que p debe ser V (y lo Significado: Si p es V, podemos inferir que p ∨ q debe ser V
mismo para q) (q puede ser cualquier cosa)
Tautologı́a: p ∧ q ⇒ p Tautologı́a: p ⇒ p ∨ q
Ejemplo: Ejemplo:
Hipótesis: Tome café y tome té (p ∧ q) Hipótesis: Le eché leche a mi café (p)
Conclusión: tome café (p) Conclusión: hay leche o azúcar en mi café (p ∨ q)
p
¬q
p⇒q
p⇒q
q
¬p
Significado: Si tanto la implicación (p ⇒ q) como su antecedente (p)
Significado: Similar a Modus Ponens, pero con respecto a la
son V, entonces la conclusión de la implicación (q) tiene
contrarecı́proca (recordar que p ⇒ q ≡ ¬q ⇒ ¬p)
que ser V
Tautologı́a: (¬q ∧ (p ⇒ q)) ⇒ ¬p
Tautologı́a: (p ∧ (p ⇒ q)) ⇒ q
Ejemplo:
Ejemplo:
Hipótesis:
Hipótesis:
Si hoy hay sol, entonces vamos a la playa (p ⇒ q)
Si hoy hay sol, entonces vamos a la playa (p ⇒ q) Hoy no fuimos a la playa (¬q)
Hoy hay sol (p)
Conclusión: hoy no hizo sol (¬p)
Conclusión: vamos a la playa (q)
Reglas de Inferencia Reglas de Inferencia
Silogismo Hipotético Silogismo Disyuntivo
p⇒q
q⇒r p∨q
p⇒r ¬p
q
Significado: la implicancia es transitiva
Significado: Similar a Modus Ponens, dado que p ∨ q ≡ ¬p ⇒ q
Tautologı́a: [(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r)
Tautologı́a: [(p ∨ q) ∧ ¬p] ⇒ q
Ejemplo:
Hipótesis: Ejemplo:
Si hoy hay sol, entonces haremos un asado (p ⇒ q) Hipótesis:
Si hacemos un asado hoy, entonces hay que ir al supermercado Le eché azúcar o leche a mi café (p ∨ q)
(q ⇒ r ) No le eché azúcar a mi café (¬p)
Conclusión: si hoy hay sol, entonces hay que ir al supermercado Conclusión: le eché leche a mi café (q)
(p ⇒ r)
∃x P(x)
Ejemplo: P(c) para un elemento c
Si P(x) : x > x − 1, ¿cuál de los dos argumentos lógicos es correcto?
Significado: Si sabemos que existe un x tal que P(x) es V, entonces
P(3) P(n) le podemos dar nombre a este elemento
∀x P(x) ∀x P(x)
Ojo que c debe ser una nueva variable, no puede ser una ya en
uso en la demostración
La misma pregunta, donde C(p) : persona p tiene cumpleaños
Generalmente, solo se sabe que existe, y no su valor. Como
C(Maria) C(q) existe, se le puede dar nombre y continuar el argumento.
∀p C(p) ∀p C(p) Ejemplo:
Hipótesis: Alguien ha inscrito este ramo (∃x P(x))
Conclusión: entonces, sea “Pedrito” ese alguien.
Reglas de Inferencia con Cuantificadores Ejemplos
Generalización Existencial
∴ El argumento es correcto.
Ejercicio Ejemplo
x : persona Entonces:
Si los siguientes argumentos son correctos: G(x) : x ha bajado la guı́a de ejercicios ∃x (E(x) ∧ ¬G(x))
Un alumno de este curso no ha bajado la guı́a de ejercicios E(x) : x es alumno de este curso ∀x (E(x) ⇒ P(x))
P(x) : x ha aprobado el primer certamen ∃x (P(x) ∧ ¬G(x))
Todos los alumnos aprobaron el primer certamen
Mostrar que lo anterior implica:
Solución: demostrar de que el argumento es válido
Alguien quien aprobó el primer certamen no bajó la guı́a de
1. ∃x (E(x) ∧ ¬G(x)) hipótesis
ejercicios 2. E(a) ∧ ¬G(a) part. existencial de linea 1, a es alumno
Primer paso: formalizar 3. E(a) simplificación de linea 2
4. ∀x (E(x) ⇒ P(x)) hipótesis
x : persona
5. E(a) ⇒ P(a) part. universal de linea 4
E(x) : x es alumno de este curso 6. P(a) modus ponens de lineas 3, 5
G(x) : x ha bajado la guı́a de ejercicios 7. ¬G(a) simplificación de linea 2
8. P(a) ∧ ¬G(a) combinación de linea 6, 7
P(x) : x ha aprobado el primer certamen 9. ∃x (P(x) ∧ ¬G(x)) gen. existencial de linea 8
∴ El argumento es correcto.
Teoremas
Definición: teorema
Una expresión que se ha demostrado como verdadera con respecto a
axiomas, teoremas existentes.
Técnicas de demostración
Muchos teoremas se escriben como implicaciones: si
p1 , p2 , p3 , . . . pn son todas verdaderas (hipótesis), entonces q
también lo es
En otras palabras, queremos demostrar teoremas de la forma
p1 ∧ p2 ∧ p3 ∧ · · · ∧ pn ⇒ q
Definición: conjetura
Para teoremas de la forma p ⇒ q:
Expresión cuyo valor de verdad es desconocido. Si podemos
demostrar una conjetura, entonces esta se convierte en teorema Demostración Directa
Demostración Indirecta
Definición: lema Demostración Vacua
Teorema sencillo usado en la demostración de otros teoremas (un Demostración Trivial
resultado útil, pero no suficientemente “interesante” como para
Reducción al Absurdo (también conocida como “Demostración
ponerle nombre)
por Contradicción”)
Demostración por Casos
Definición: corolario
Proposición que se puede establecer directamente a partir de un Demostración de Equivalencia
teorema ya demostrado
Demostración Directa Demostración Directa
Ejemplo
Ejemplo: Muestre que la proposición P(0) es V, donde P(n) es el Ejemplo: Demuestre que si n es la suma de dos números primos,
predicado “si n > 1, entonces n2 > n” entonces n es par o impar
Demostración: Demostración:
1 P(0) es la implicación “si 0 > 1, entonces 02 > 0”, donde 1 p : n es la suma de dos números primos, y q : n es par o impar
p : 0 > 1 y q : 02 > 0 2 Pero impar ≡ ¬ par, ası́ que q siempre es V
2 Conclusión: como p siempre es F, P(0) es V de forma vacua 3 Conclusión: como q siempre es V, p ⇒ q es trivialmente V
Ejemplo: Demostrar que si x, y son números reales, entonces Caso 2: (x > y ⇒ q). Demostración similar a la anterior, solo que
max(x, y) + min(x, y) = x + y max(x, y) = x y min(x, y) = y
Caso 3: (x = y ⇒ q)
Demostración: 1 Si x = y, sabemos que max(x, y) = x = y, min(x, y) = x = y
Identificar casos que sirvan para hacer la demostración. Por 2 Entonces, max(x, y) + min(x, y) = x + y
ejemplo, si hay mı́nimos y máximos, es útil saber cual número es 3 Conclusión: (x = y ⇒ q), por demostración directa
mayor/menor, por lo que definiré: p1 : x < y, p2 : x > y, p3 : x = y Conclusión: como (p1 ⇒ q) ∧ (p2 ⇒ q) ∧ (p3 ⇒ q) es V, podemos
Quiero demostrar que si (p1 ⇒ q) ∧ (p2 ⇒ q) ∧ (p3 ⇒ q), donde concluir que p ⇒ q es V
q : max(x, y) + min(x, y) = x + y sigue . . .
Demostración de Equivalencia Ejemplo
Ejemplo: Demostrar que el entero n es impar si, y solo si, n2 es impar Intento 2: demostración indirecta
2
1 Asumir que n es par, demostrar que n es par
Demostración: 2 Si n es par, entonces ∃k tal que n = 2k
2 2 2 2
3 Entonces, n = (2k) = 2(2k ) = 2`, o sea, n es número par
1 p : n es impar, q : n2 es impar, queremos demostrar que p ⇔ q
4 Conclusión: hemos demostrado que la contrareciproca de q ⇒ p
2 Ya demostramos que p ⇒ q, ver ejemplo de Demostración es V, ası́ que la implicación original es V
Directa
Conclusión: como p ⇒ q y q ⇒ p son V, sabemos que p ⇔ q es V
3 Falta probar que q ⇒ p
OJO: Si no logran completar una demostración, intenten con otra
técnica, otra formalización de p, q, otros casos, etc.
Ejemplo: Muestre que existen dos números irracionales x, y tales que Algunos teoremas afirman la existencia de un único elemento con
xy es racional cierta propiedad (∃!x P(x)). Para demostrar esto, debemos probar dos
Demostración: cosas:
√ 1 Existencia: existe un elemento que cumple la condición
Sabemos que 2 es número irracional
√
√ 2 2 Unicidad: este elemento es único
Caso 1: si 2 es racional, hemos encontrado valores de x, y
que hacen que la expresión sea verdadera Esto es lo mismo que demostrar ∃x (P(x) ∧ ∀y (y 6= x ⇒ ¬P(y)))
√ √2 √ √2 √
Caso 2: ¿y si 2 √ es irracional?√ Tomemos x = 2 e y = 2. Técnica común para estas demostraciones:
y
√ 2 √2 √ 2.√2 √ 2
Entonces, x = ( 2 ) = 2 = 2 = 2, que Demostrar que ∃x P(x)
claramente es racional
Asumir que que existe y 6= x tal que P(y) sea V, y llegar a una
Conclusión: en ambos casos encontramos valores de x, y irracionales contradicción
tales que xy es racional, ası́ que la expresión es V
Ejemplo: si a y b son números reales y a 6= 0, entonces existe un Quieren demostrar una expresión de la forma ∀x P(x)
único número real r tal que ar + b = 0
Pero encuentran un valor de x tal que P(x) es F . . .
Demostración: . . . por lo que ∀x P(x) es F. Este x es un contraejemplo
Existencia: es fácil ver que r = − ba
es la solución de la ecuación
Ejemplo: para todo n, si n es entero impar, entonces n+1
2 también es
ar + b = 0, ası́ que existe un número real r tal que ar + b = 0
entero impar
Unicidad:
1 Asumir que existe un número real s 6= r tal que as + b = 0 Demostración:
2 Como ar + b = 0 y as + b = 0, tenemos que ar + b = as + b
¿Existe un n0 tal que n0 es impar pero n02+1 sea par?
3 Restando b a ambos lados, nos queda que ar = as
4 Como ar = as y a 6= 0 (parte de la premisa), la única posibilidad ¿Qué tal n0 = 7? Es fácil ver que n02+1 = 82 = 4, que es par
es que r = s, lo que contradice nuestro supuesto inicial
Conclusión: la expresión es falsa
5 Conclusión: no existe s 6= r tal que as + b = 0, o sea, si s 6= r ,
entonces as + b 6= 0 Recomendación: antes de intentar demostrar un ∀, intenten ver si
existe algún contraejemplo. Importante: no pueden demostrar que un
Conclusión: como hemos demostrado la existencia y unicidad de r,
∀ es V usando solo ejemplos
podemos concluir que la expresión es V