MATEMÁTICAS DISCRETAS

FACULTAD DE CIENCIAS NATURALES Y

MATEMÁTICAS
 2

Unidad I Lógica
Matemática y Pruebas
Tema 1.5 Demostraciones o pruebas
Tema 1.6 Pruebas por resolución
Tema 1.7 Inducción matemática
 UNIDAD I ALGORITMOS 3

 Objetivos:

 Comprender los diferentes métodos de demostración

 Identificar cuándo usar cada tipo de método de

demostración

 Realizar demostraciones sencillas de cada método

 UNIDAD I ALGORITMOS 4

 Bibliografía:

1. Matemáticas Discretas. Richard Johnsonbaugh.

Prentice Hall. Epígrafes 1.5 al 1.7
 INTRODUCCIÓN 5

 Preguntas de la clase anterior

 ¿Cómo se expresa una proposición condicional?

 ¿Cómo se expresa su recíproco?

 ¿Cómo se expresa su contrarrecíproco?

 ¿Qué dice el teorema de De Morgan?

 INTRODUCCIÓN 6

 Preguntas de la clase anterior

 ¿Cómo se expresa una proposición condicional?
Si p entonces q (pq)
 ¿Cómo se expresa su recíproco?
Si q entonces p (qp).
Si se cumple son equivalentes (pq o pq)
 ¿Cómo se expresa su contrarrecíproco?
Si no q entonces no p (¬q¬p)

 ¿Qué dice el teorema de De Morgan?¿Cómo lo

probamos?
¬(p v q)  ¬p  ¬q
¬(p  q)  ¬p v ¬q
 INTRODUCCIÓN 7

 Demuestre que:

 ¬(p  q)  p  ¬q
 INTRODUCCIÓN 8

 Demuestre que:
 ¬(p  q)  p  ¬q

 Trabajo Autónomo: Demuestre que: pq¬p v q

 INTRODUCCIÓN 9

 Demuestre que:

 (pq)  (p  q)  (q  p)
 INTRODUCCIÓN 10

 Demuestre que:
 (pq)  (p  q)  (q  p)
 INTRODUCCIÓN 11

 ¿Cuándo se utilizan los cuantificadores? ¿Cuáles

son?
 INTRODUCCIÓN 12

 ¿Cuándo se utilizan los cuantificadores? ¿Cuáles

son?
Tipo de cuantificador de una proposición

Si se quiere:
Demostrar Debe verificar que Basta con encontrar que
(afirmar que se cumple) todos los casos se un caso se cumpla
cumplan
Refutar Basta con encontrar Debe verificar que todos
(afirmar que no se que un caso no se los casos no se
cumple) cumpla cumplan
 INTRODUCCIÓN 13

 Leyes de De Morgan Generalizadas.

 ¬(xP(x))  x¬P(x)

¬(P(1)P(2)P(3)...)  ¬P(1)v¬P(2)v¬P(3)v...

 ¬(xP(x))  x¬P(x)

¬(P(1)vP(2)vP(3)v...)  ¬P(1)¬P(2)¬P(3)...

 ¿Cómo sucedería con estas leyes de De Morgan si

se usaran cuantificadores anidados? Respuesta:
Epígrafe 1.4
 PRUEBAS O DEMOSTRACIONES 14

 Pruebas

 Todos los sistemas matemáticos están formados por:

Axiomas

Definiciones

Teoremas
• Lemas
• Corolarios
 PRUEBAS O DEMOSTRACIONES 15

 Axiomas

 Son verdades establecidas e irrebatibles.

 Ejemplo:
Dados dos puntos, existe una y solamente una línea que los
contiene a ambos.
 PRUEBAS O DEMOSTRACIONES 16

 Definiciones

 Nuevos conceptos que se elaboran a partir de los

términos ya existentes.

 Ejemplo:
Conjunto vacío es aquel que carece de elementos.
 PRUEBAS O DEMOSTRACIONES 17

 Teoremas

 Los teoremas se pueden derivar de proposiciones que,

se han probado, son correctas.

 Ejemplo:
Si x es un número real, si x>1 entonces x+1>1
 PRUEBAS O DEMOSTRACIONES 18

 Lemas

 Son teoremas que por sí mismos no tienen gran uso,

pero sirven para demostrar otros teoremas

 Ejemplo:
Si x es un entero positivo, x -1 es positivo o x -1 =0
 PRUEBAS O DEMOSTRACIONES 19

 Corolarios

 Son teoremas que se deducen fácilmente de otro

teorema.

 Ejemplo:
Si un triángulo es equilátero, tiene sus 3 ángulos iguales
 PRUEBAS O DEMOSTRACIONES 20

 Las Pruebas

 Las pruebas son el argumento de que nos valemos para

establecer la validez de un teorema.

 Demostrar el teorema significa “Demostrar que la

implicación es una tautología”.

 La demostración no “demuestra” que la proposición q

sea verdadera, sino simplemente demuestra que q
tiene que ser verdadera si las pi son todas verdaderas.
 PRUEBAS O DEMOSTRACIONES 21

 Las Pruebas

 En la práctica, la construcción de demostraciones es

un arte y debe aprenderse, en parte de la
observación y la experiencia. La elección de los
pasos intermedios y métodos para derivarlos es una
actividad creativa que no puede describirse con
precisión.
 PRUEBAS O DEMOSTRACIONES 22

 Prueba Directa

 Los teoremas generalmente están en la forma:

Para todo (x1,x2,x3,...,xn), si p(x1, x2, x3,...,xn) entonces

q(x1,x2,x3,...,xn)

 Asumimos que p(x1,...,xn) es verdadero, entonces

debemos probar que q(x1,...,xn) es verdadero, usando
a p(x1,...,xn), demás axiomas y teoremas previamente
derivados.
 PRUEBAS O DEMOSTRACIONES 23

 Prueba Directa

 Ejemplo:

Si a y b son números reales, se define mín{a, b} como el

mínimo de a y b o el valor común si son iguales.
Probar que para cualesquiera números reales d, d1, d2, x,
si d = mín{d1, d2} y x ≤ d, entonces x ≤ d1, y x ≤ d2

Solución: ¿?
 PRUEBAS O DEMOSTRACIONES 24

 Prueba Indirecta o por Contradicción

 En este método en cambio, se asume que p y ¬q son

verdaderas y se trata de llegar a una contradicción de
la forma: ¬rr

 Colocado en notación lógica es igual a:

p ¬q  ¬rr
 PRUEBAS O DEMOSTRACIONES 25

 Prueba Indirecta o por Contradicción

 En la demostración por contradicción puede justificarse

que las proposiciones son equivalentes

p q r p→q p q r  r (p q) →(r  r)

V V V V F F V
V V F V F F V
V F V F V F F
V F F F V F F
F V V V F F V
F V F V F F V
F F V V F F V
F F F V F F V
 PRUEBAS O DEMOSTRACIONES 26

 Prueba Indirecta o por Contradicción

 Ejemplo

 Para todos los números reales x y y, si x + y ≥ 2,

entonces x ≥ 1 o y ≥ 1
 PRUEBAS O DEMOSTRACIONES 27

 Prueba Indirecta o por Contradicción

 Ejemplo
 Se supondrá que la conclusión es falsa, es decir, que
￢(x ≥ 1 y ≥ 1) es verdadera.
 Por las leyes de De Morgan:

 En palabras, se está suponiendo que x < 1 y que y < 1.

Se pueden sumar estas desigualdades para obtener

 En este punto, se ha obtenido la contradicción

p ￢p
 PRUEBAS O DEMOSTRACIONES 28

 Prueba Indirecta o por Contradicción

 Prueba por Contrapositiva (caso especial de

Indirecta)

 Se prueba la implicación del contrarrecíproco:

Si no q entonces no p (¬q  ¬p )
 PRUEBAS O DEMOSTRACIONES 29

 Prueba Indirecta o por Contradicción

 Prueba por Contrapositiva

 Ejemplo

 Demostrar que para todo entero m, si m2 es impar,

entonces m es impar.
 PRUEBAS O DEMOSTRACIONES 30

 Prueba Indirecta o por Contradicción

 Prueba por Contrapositiva
 Ejemplo

 Primero, sea m un entero arbitrario. La contrapositiva

de
si m2 es impar, entonces m es impar
es
si m es par, entonces m2 no es impar
O sea,
si m es par, entonces m2 es par.
 PRUEBAS O DEMOSTRACIONES 31

 Prueba Indirecta o por Contradicción

 Prueba por Contrapositiva
 Ejemplo
Así, suponga que m es par.

Entonces m = 2k para algún entero k.

Ahora, m2 = (2k)2= 2 · (2k2).

Como m2 es de la forma 2 × un entero (a saber 2k2),

m2 es par.
 PRUEBAS O DEMOSTRACIONES 32

 Prueba por Casos

 Se emplea cuando la hipótesis original se divide de
manera natural en varios casos

 Suponga que la tarea es probar p→q y que p es

equivalente a p1 v p2 v...v pn (p1, . . . , pn son los casos)

 En lugar de probar:

se prueba:
 PRUEBAS O DEMOSTRACIONES 33

 Prueba por Casos

 Ejemplo

 Se probará que para todo número real x, x ≤ |x|.

 PRUEBAS O DEMOSTRACIONES 34

 Prueba por Casos

 Ejemplo

 “x es un número real” es equivalente a (x ≥ 0) (x < 0).

 Si x ≥ 0, por definición |x| = x. Así, |x| ≥ x.

 Si x < 0, por definición |x| = –x. Como

|x| = –x > 0 y 0 > x, |x| ≥ x.
 PRUEBAS O DEMOSTRACIONES 35

 Prueba por Equivalencia

 Cuando le dicen: p si y solo si q (o p es equivalente a

q)

 Basado en que: (pq)  (p  q)  (q  p)

 Basta probar que:

(p  q) y (q  p)
 PRUEBAS O DEMOSTRACIONES 36

 Prueba por Equivalencia

 Ejemplo 1.5.15 Libro de Texto

 PRUEBAS O DEMOSTRACIONES 37

 Prueba por Resolución

 Consiste en la regla:

Si p v q y ¬p v r son verdaderas, entonces q v r es

verdadero.

 Esta regla puede ser probada utilizando tablas de

verdad.
 Para realizar la prueba por resolución, la hipótesis y la
conclusión deben estar escritas como cláusulas.
 Una cláusula consiste en varios términos separados por
“o”, donde cada término es una variable o la negación
de una variable.
 PRUEBAS O DEMOSTRACIONES 38

 Prueba por Resolución

 La siguiente expresión es una cláusula:

a v b v ¬c v d

 Estas expresiones no son cláusulas:

ab v c v ¬d (ab no es una proposición sino dos)

pq (no están separadas por “o”)

 PRUEBAS O DEMOSTRACIONES 39

 Prueba por Resolución

 Ejemplo:

Se puede probar por resolución que si:

avb
~a v c
~c v d
Son verdaderos,

b v d es verdadero también
 PRUEBAS O DEMOSTRACIONES 40

 Prueba por Resolución

 Casos especiales de la regla de resolución son:

Si p v q y ~p es verdad, entonces q es verdadera

Si p y ~p v r es verdad, entonces r es verdadera

 PRUEBAS O DEMOSTRACIONES 41

 Pruebas por Inducción Matemática

 La inducción matemática establece la siguiente regla:

Si un teorema se cumple para 1 y para n, también se cumple

para n+1

 Dicho de otra manera, si un teorema se cumple para un

caso base y para un número cualquiera, también se
cumplirá para el siguiente número.
 PRUEBAS O DEMOSTRACIONES 42

 Pruebas por Inducción Matemática

 Imaginemos que tenemos un número n de esferas.

 Sabemos que la primera esfera es roja, y que las

demas esferas son rojas si todas las anteriores son
rojas.

 A partir de estas dos proposiciones podemos deducir

que todas las esferas son rojas.
 PRUEBAS O DEMOSTRACIONES 43

 Pruebas por Inducción Matemática

 La prueba por inducción se puede separar en dos

pasos:
El paso Básico, y el paso Inductivo

 El paso Básico se encarga de demostrar que P(1) es

verdadero.

 El paso Inductivo se encarga de demostrar que si P(n)

es verdad, P(n+1) es verdad también.
 PRUEBAS O DEMOSTRACIONES 44


 PRUEBAS O DEMOSTRACIONES 45

 Pruebas por Inducción Matemática

 Ejemplo:
Paso base: Se muestra que es válida para n = 1.
con P(1) se tiene:

Paso inductivo: Mostrar que si P(k) es verdadera,

entonces P(k + 1) es verdadera

Se asume que P(k) es verdadera (para un valor no específico

de k). Se debe entonces mostrar que P(k + 1) es verdadera:
 PRUEBAS O DEMOSTRACIONES 46

 Pruebas por Inducción Matemática

 Ejemplo:
Usando la hipótesis de inducción P(k) es verdadera, el término
izquierdo se puede reescribir:

Desarrollando:
 CONCLUSIONES 47

 ¿Cuándo debe usar cada técnica de

demostración?

 Pronto tendrán ejercicios para practicar en

SidWeb.