PONTIFICIA UNIVERSIDAD CATOLICA DEL

ECUADOR SEDE IBARRA

PUCE-SI.
Datos Informativos
Carrera: Arquitectura.
Nivel: Primero.
Nombre: Erick Bastidas.
Materia: Lgica Matemtica.
Tema: Mtodos de demostracin.
Fecha: 19 de Octubre del 2010.
Objetivos: 1.- Conocer y aplicar cada una de los mtodos
de demostracin.

Contenido:

Mtodos Deductivos de
demostracin.
Segn el sistema aristotlico, el mtodo deductivo es un
proceso que parte de un conocimiento general, y arriba a
uno particular. La aplicacin del mtodo
deductivo nos lleva a un conocimiento con grado de certeza
absoluta, y esta
cimentado en proposiciones llamadas SILOGISMOS.
He aqu un ejemplo:
EJEMPLOS

1. Todos las venezolanas son bellas , (Este es el

conocimiento general)
Marta Colomina es venezolana
Luego:
Marta Colomina es bella

2. Todos los mamferos son animales

El perro es un animal
Por lo tanto:
El perro es un mamfero
Se puede observar que partiendo de dos premisas, una de
las cuales es una
hiptesis general se llega a una conclusin particular.
Tambin es de hacer notar que en este ejemplo las
premisas pueden ser verdaderas o pueden ser falsas, y por
consiguiente la conclusin puede ser igualmente verdadera
o falsa.
En la lgica formal y sobre todo en el universo matemtico,
el proceso deductivo tiene un significado un poco diferente,
pues esta basado en AXIOMAS, o proposiciones que son
verdaderas por definicin.
Por ejemplo, un axioma es:
EL TODO ES MAYOR QUE LA PARTE, otro axioma es
DOS COSAS IGUALES A UNA TERCERA SON IGUALES ENTRE
SI.

El primer axioma define el concepto de MAYOR, y el

segundo el concepto de IGUAL.
El mtodo deductivo nos permite partir de un conjunto de
hiptesis y llegar a una conclusin, pudiendo ser esta
inclusive que el conjunto de hiptesis sea invlido.
Generalmente, en matemticas, la deduccin es un proceso
concatenado del tipo "si A entonces B, si B entonces C, si C
entonces D..." hasta llegar a una conclusin.
Al conjunto de HIPOTESIS + DEMOSTRACION +
CONCLUSIN se denomina TEOREMA.
La prctica de los razonamientos deductivos en el proceso
de desarrollo del pensamiento lgico matemtico es muy
importante. Constituye una herramienta fundamental para
el trabajo en la matemtica y otras ciencias.

DEMOSTRACIN POR EL MTODO DIRECTO.

Si tomamos una frase lgica condicional sencilla del tipo:

P

Que podemos analizar como si se cumple P entonces se

cumple Q, esto lo hacemos de forma natural sin
complicarnos en hacer anlisis mas intensivos o mas
extensivos pues lo hacemos de una forma innata.
Si decimos: El cielo esta encapotado, va a llover estamos
realizando una asociacin de causa y efecto. En la cual el
cielo esta encapotado es
la causa y el efecto lgico es que, va a llover.
Desde el punto de vista de la lgica esta relacin es
irrevocable. As mismo en una relacin matemtica se
puede verificar esta sencilla relacin en la cual si se cumple
la premisa P entonces se puede decir que se cumplir la
consecuencia Q.
A este proceso formal se le denomina demostracin
mediante el mtodo directo es innecesario decir que si
no se cumple o verifica P entonces su consecuencia
tampoco se verificar.
P Q

Supngase que P Q es una tautologa, en donde P y Q

pueden ser proposiciones compuestas, en las que
intervengan cualquier nmero de variables propositivas, se
dice que q se desprende lgicamente de p.
Supngase una implicacin de la forma.
(P1 P2 P3... Pn) Q
Es una tautologa.
Entonces est implicacin es verdadera sin importar los
valores de verdad de
cualquiera de sus componentes. En este caso, se dice que q
se desprende
lgicamente de P1, P2,......, Pn. Se escribe.
El camino que se debe seguir para llevar a cabo una
demostracin formal
usando el mtodo directo. Significa que s se sabe que
P1 es verdadera, P2 es

verdadera,...... y Pn tambin es verdadera, entonces se

sabe que Q es verdadera.
La mayora de los teoremas matemticos cumplen con esta
estructura bsica:
(P1 P2 P3... Pn) Q
Donde las Pi condiciones son llamadas hiptesis o premisas,
y Q es la
conclusin.
Demostrar un teorema es demostrar que la condicional
es una
tautologa.
Ojo, no se pide demostrar que la conclusin es verdadera, lo que se quiere es
demostrar que Q es verdadera siempre y cuando todas las Pi condiciones son
verdaderas.

En conclusin podemos decir que:

Cualquier demostracin, sea de enunciados o matemtica
debe:
a. Comenzar con las hiptesis.
b. Debe seguir con las tautologas y reglas de inferencias
necesarias para...
c. Llegar a la conclusin.
A continuacin se prueba un enunciado en donde se puede
apreciar el uso
tanto de las tautologas como de las reglas de inferencia.
Sean
p: Trabajo
q: Ahorro
r: Comprar una casa
s: Podr guardar el automvil en mi casa
Analizar el siguiente argumento:
"Si trabajo y ahorro, entonces comprar una casa. Si
compro una casa, entonces
podr guardar el coche en mi casa. Por consiguiente, si no
puedo guardar el coche
en mi casa, entonces no ahorro".
El enunciado anterior se puede representar como:

p q r;

r s;

entonces s' q'

Equivale tambin a probar el siguiente teorema:

[(p q) r] [r s]; [s' q']

Como se trata de probar un teorema de la forma general:

p1 p2...... pn

entonces

Se aplica el procedimiento general para demostracin de

enunciados vlidos.
A continuacin se demuestra el teorema respaldando cada
uno de sus pasos en tautologas o reglas de inferencia ya
conocidas.
1. - (p q) r
2.- r s

Hiptesis
Hiptesis

3.- p q

Silogismo Hipottico

4.- q r

Silogismo Hipottico

5.- q s
6. - s q

Conclusin

Mtodo Inductivo
Sirve para demostrar frmulas o propiedades que son
verdaderas para infinitos nmeros naturales. Es decir para
demostrar que las propiedades de la forma P(m) se cumple
casi siempre para todo nmero natural m N siendo n+ el
conjunto de los caractersticos sin el cero V n N+ (Siendo
N* = N-{0}) Se trata de demostrar P(n), V n N* El mtodo
de demostracin inductivo consta de 3 pasos.
1. Paso Bsico
Demostrar que la propiedad se cumple para el primer valor
de de N que nos digan, casi siempre ser 1. Se trata de
demostrar P(1).

2. Paso Inductivo
Consiste en demostrar que si se cumple para un cierto n
entonces tambin se cumple para n+1. Es decir que si se
cumple para P(n) entonces se tiene que cumplir P(n+1). Se
trata de demostrar la implicacin P(n)->P(n+1).
Supondremos como hiptesis P(n) (hiptesis de induccin).
3. Conclusin
Del paso bsico y del paso inductivo se deduce que la
proposicin se cumple para todos los n naturales mayores o
iguales a 1 (n>=1).

Mtodo reduccin al absurdo

Slo sabremos si es una tautologa. Supondremos que es
una contradiccin, por tanto podemos suponer que puede
ser falsa. Sin con esta suposicin se llega a una
contradiccin quera decir que esa falsedad supuesta nunca
podra darse, por tanto la proposicin sera siempre
verdadera es decir una tautologa.