Demostraciones.

Qu es una demostracin?

Hiptesis.

Conclusin.

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 ! odos las vene!olanas son "ellas" , #$ste es el conocimiento general% !Marta Colomina es vene!olana"

luego !Marta Colomina es "ella"

Se puede observar que partiendo de dos premisas, una de las cuales es una &iptesis general se llega a una conclusin particular. 'ambin es de &acer notar que en este ejemplo las premisas pueden ser verdaderas o pueden ser (alsas, y por consiguiente la conclusin puede ser igualmente verdadera o (alsa.

$n la lgica (ormal y sobre todo en el universo matem)tico, el proceso deductivo tiene un signi(icado un poco di(erente, pues esta basado en #$IOM#S, o proposiciones que son verdaderas por de%inicin.

*or ejemplo, un a+ioma es !&L ODO &S M#'O( Q)& L# *#( &" , otro a+ioma es !DOS COS#S IG)#L&S # )+# &(C&(# SO+ IG)#L&S &+ (& SI,. $l primer a+ioma de(ine el concepto de M#'O(, y el segundo el concepto de IG)#L. $l mtodo deductivo nos permite partir de un conjunto de &iptesis y llegar a una conclusin, pudiendo ser esta inclusive que el conjunto de &iptesis sea invalido. ,eneralmente, en matem)ticas, la deduccin es un proceso concatenado del tipo -si . entonces /, si / entonces 0, si 0 entonces 1...- &asta llegar a una conclusin.

.l conjunto de HI*O &SIS - D&MOS (#CIO+ - CO+CL)SIN se denomina &O(&M#.

La pr)ctica de los razonamientos deductivos en el proceso de desarrollo del pensamiento lgico matem)tico es muy importante. 0onstituye una &erramienta (undamental para el trabajo en la matem)tica y otras ciencias..

Demostracin por el mtodo directo. Si tomamos una %rase l.ica condicional sencilla del tipo/ PQ Que podemos anali!ar como 0 si se cumple * entonces se cumple Q, 1 esto lo 2acemos de %orma natural sin complicarnos en 2acer an3lisis mas intensivos o mas e4tensivos pues lo 2acemos de una %orma innata. Si decimos/ 0&l cielo esta encapotado1 va a llover, estamos realizando una asociacin de causa y e(ecto. $n la cual !el cielo esta encapotado" es la causa y el e(ecto l.ico es que, !va a llover". 1esde el punto de vista de la lgica esta relacin es irrevocable. .s mismo en una relacin matem)tica se puede veri(icaresta sencilla relacin en la cual si se cumple la premisa * entonces se puede decir que se cumplira la consecuencia 2. . este proceso (ormal se le denomina !demostracin mediante el mtodo directo" es innecesario decir que si no se cumple o veri(ica * entoces su consecuencia tampoco se veri(icar). * 2 Supngase que * 2 es una tautologa, en donde * y 2 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 (orma.

#*3 *4 *5 ... *n% Q

$s una tautologa. $ntonces est) implicacin es verdadera sin importar los valores de verdad de cualquiera de sus componentes. $n este caso, se dice que q se desprende lgicamente de *3,*4,......,*n. Se escribe. $l camino que se debe seguir para llevar a cabo una demostracin (ormal usando el mtodo directo. Signi(ica que s se sabe que *3 es verdadera, *4 es verdadera,...... y *n tambin es verdadera, entonces se sabe que 2 es verdadera. La mayora de los teoremas matem)ticos cumplen con esta estructura b)sica

#*3 *4 *5 ... *n% Q

1onde las *i condiciones son llamadas &iptesis o premisas, y 2 es la conclusin. !Demostrar un teorema" es demostrar que la condicional es una tautolo.5a. 6jo, no se pide demostrar que la conclusin es verdadera, lo que se quiere es demostrar que 2 es verdadera siempre y cuando todas las *i condiciones son verdaderas. $n conclusin podemos decir que 0ualquier demostracin, sea de enunciados o matem)tica debe a. 0omenzar con las &iptesis. b. 1ebe seguir con las tautologas y reglas de in(erencias necesarias para... c. Llegar a la conclusin.

. continuacin se prueba un enunciado en donde se puede apreciar el uso tanto de las tautologas como de las reglas de in(erencia. Sean p 'rabajo.

q .&orro. r 0omprar una casa. s *odr guardar el automvil en mi casa.

.nalizar el siguiente argumento -Si trabajo y a&orro, entonces comprar una casa. Si compro una casa, entonces podr guardar el coc&e en mi casa. *or consiguiente, si no puedo guardar el coc&e en mi casa, entonces no a&orro-.

$l enunciado anterior se puede representar como

p q r7

r s7 entonces

s8 q8

$quivale tambin a probar el siguiente teorema

9#p q% r: 9r s:7 9s8 q8:

0omo se trata de probar un teorema de la (orma general

p3 p4 ...... pn entonces q

Se aplica el procedimiento general para demostracin de enunciados v)lidos. . continuacin se demuestra el teorema respaldando cada uno de sus pasos en tautologas o reglas de in(erencia ya conocidas.

3.; 4.; 5.; <.; =.; >.;

#p q% r r s pq qr qs s q

Hiptesis Hiptesis Silogismo Hipottico Silogismo Hipottico

0onclusin.