Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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: Todos las venezolanas son bellas , (Este es el conocimiento general) Marta Colomina es venezolana
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 invalido. 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.
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: PQ 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 verificaresta sencilla relacin en la cual si se cumple la premisa P entonces se puede decir que se cumplira 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 entoces 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.
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.
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".
p q r;
r s; entonces
s' q'
p1 p2 ...... pn entonces q
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.2.3.4.5.6.-
(p q) r r s pq qr qs s q
Conclusin.