logikaaa

1. PUNTIFICIA UNIVERSIDAD CATÓLICA DEL ECUADOR SEDE IBARRA<br />3848100104775<br />Datos Informativos: <br />Escuela: Arquitectura.<br />Nivel: Primero.<br />Nombre: Edward Vásquez.<br />Materia: Lógica Matemática. <br />Tema: La demostración. <br />Fecha: 2010-10-19<br />Objetivo:<br />Determinar los aspectos que caracterizan a la demostración en la lógica matemática. <br />Contenido<br />LA DEMOSTRACIÓN<br />La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a las demostraciones como objetos matemáticos, facilitando su análisis mediante técnicas matemáticas. Las demostraciones suelen presentarse como estructuras de datos inductivamente definidas que se construyen de acuerdo con los axiomas y reglas de inferencia de los sistemas lógicos. En este sentido, la teoría de la demostración se ocupa de la sintaxis, en contraste con la teoría de modelos, que trata con la semántica. Junto con la teoría de modelos, la teoría de conjuntos axiomática y la teoría de la recursión, la teoría de la demostración es uno de los quot;
cuatro pilaresquot;
de los fundamentos de las matemáticas.<br />EL METODO INDUCTIVO<br />Es el razonamiento que parte de conocimientos o verdades particulares para obtener mediante ellos una verdad general, aunque observa varios fenómenos para inferir la ley que los explica.<br />1496695162560Ejemplo:<br />METODO DEDUCTIVO<br />Es un razonamiento que parte de conocimientos o verdades generales para obtener mediante ellos una verdad particular.<br />La mayoría de los teoremas y los problemas geométricos se demuestran usando el método deductivo.<br />PROCEDIMIENTOS DE UNA DEMOSTRACIÓN<br />Existen dos tipos de procedimientos:<br />Directo e indirecto.<br />Procedimiento directo:<br />Prueba la veracidad de la proposición, estableciendo una relación directa entre ella y las demostradas con anterioridad.<br />EJEMPLO:<br />60388544450<br />Procedimiento indirecto:<br />Pone en duda la veracidad de la proposición que se demuestra y tomándola por falsa, llegamos a una contradicción con las condiciones del teorema o con una proposición ya demostrada.<br />Se llama también “demostración por reducción al absurdo”.<br />EJEMPLO: <br />459740675005Si una recta interseca a un plano que no la contiene, entonces la intersección contiene un solo plano.<br />INSTRUCIONES PARA UNA DEMOSTRACIÓN<br />Hacer un grafico que represente lo más exactamente posible el enunciado de la proposición.<br />Expresar la hipótesis en forma simbólica.<br />Expresar la tesis en forma simbólica<br />Realizar la demostración, en la misma que debe constar las proposiciones y razones.<br /> <br />Conclusiones<br />Los métodos recordados tienen mucha influencia para comprender con facilidad los trabajos que más adelante estudiaremos. <br />Bibliografía <br />Geometría Plana y del Espacio, G, CALVACHE, 2009.<br />