Professional Documents
Culture Documents
Introduccin
Tipos de demostracin
Demostracin directa
La demostracin directa de una proposicin t (teorema) es un conjunto de proposiciones o premisas
que son postulados o proposiciones de validez aceptada y de las cuales se infiere t como
consecuencia inmediata.
Ejemplo 1.
Dadas las premisas: 1. p ~q
2. r q
Concluir: t. p ~r
Ejemplo 2.
tenemos las proposiciones simples B; C y D cierto
B: est haciendo frio
C: est haciendo calor
~ D: no est lloviendo
Demostrar la hiptesis
C~D
Solucin
1) B~C
2) ~ (D~B)
Universidad Nacional Abierta y a Distancia
UNAD Escuela: Ciencias Bsicas Tecnologa e Ingeniera
Pensamiento Lgico y Matemtico Grupo: 200611A_291
4
3) C hiptesis
4) ~ (3 Y 1) es decir 3) C Y 1) B~C
= ~B
5) ~D B
6) ~D (4Y5)
Ejemplo 3.
Fue el celador X o fue el ladrn Y quien disparo contra el gerente del Banco. X estaba tirado en el
suelo . Si X tenia balas de salva, no pudo haber cometido el crimen. Si X estaba indefenso no pudo
haber disparado contra el gerente.
La demostracin indirecta
Se realiza una demostracin indirecta cuando se establece la validez de una tesis t probando que las
consecuencias de su contraria son falsas.
Ejemplo 1.
Construir la demostracin indirecta de:
Si x2 es par, entonces x es par, (con x entero)
Suponga que existe al menos un entero x tal que x2 es par y x es impar.
Por el ejemplo 2 analizado en la demostracin directa, se sabe que si x es impar, entonces x2 es
impar, luego es imposible que x sea impar y que x2 sea par.
Esta es la contradiccin buscada.
La demostracin por recursin
Cuando la tesis se prueba por medio de induccin matemtica.
Ejemplo 2.
Este tipo de demostraciones se utilizan cuando los enunciados tienen una proposicin abierta en una
variable n, y es necesario demostrar que tal proposicin se verifica para todos los elementos n que
pertenecen a un subconjunto infinito dado sobre los nmeros enteros, el axioma de la induccin
matemtica es el siguiente:
Dado un conjunto de nmeros enteros A = {n / n a} y una proposicin de la forma P(n), se puede
demostrar la verdad de esta proposicin estableciendo los siguientes pasos:
I. P(a) es verdadera cuando se sustituye n por a en P(n)
II. Se supone que la proposicin P(n) es verdad para todo k del conjunto A, es decir, P (k) es
verdadera, a esta proposicin, se le llama Hiptesis de Induccin.
III. Se demuestra que para el siguiente trmino al k-simo, o sea k+1, P (k+1) es verdadera