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/
P Q
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 y 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

p
3
p
4
...... p
n
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.; #p q% r Hiptesis
4.; r s Hiptesis
5.; p q Silogismo Hipottico
<.; q r Silogismo Hipottico
=.; q s
>.; s q 0onclusin.