Conceptos Básicos:
Proposicion: es un enunciado o juicio el cual solo puede originar uno y solo uno de los términos verdadero o falso. Las proposiciones más comunes que se utilizan son: axiomas, postulados, teoremas y corolarios.
Axiomas: es una verdad que no requiere demostración y se la cumple en todas las ciencias del conocimiento.
Postulados: es una proposición aceptada como verdadera. A diferencia de los axiomas, estos se los emplea generalmente en geometría, los mismos que no se han constituido al azar, sino que han sido escogidos cuidadosamente para desarrollar la geometría .
Teorema: es la proposición cuya verdad necesita ser demostrada: una vez que el teorema se ha probado se lo puede utilizar para la demostración de otros teoremas, junto con axiomas y postulados.
Un teorema consta de: hipótesis y tesis:
Hipótesis: son las condiciones o datos del problema.
Tesis: es la propiedad a demostrarse.
Corolario: es la consecuencia de un teorema demostrado.
Razonamiento Logico: cuando una persona se empeña en una "reflexión clara" o en una reflexión rigurosa, está empleando la disciplina del razonamiento lógico.
Demostraciones: es un conjunto de razonamientos que demuestra la verdad de la proposición junto con axiomas y postulados. Una demostración bien elaborada solo puede basarse en proposiciones antes demostradas, la demostración también es necesaria para fundamentar la generalidad de la proposición que se demuestra.
Por medio de las proposiciones, las verdades geométricas se reducen a un sistema armonioso de conocimientos científicos.
La demostración formal de un teorema consiste en cinco partes:
- El enunciado del teorema.
- Hacer un gráfico que ilustre el teorema.
- Una afirmación de lo que es el dato (s) en términos del gráfico ( hipótesis ).
- Una afirmación de lo que debe probarse ( tesis ).
- Demostración: Es una serie de razonamientos lógicos establecidos mediante definición, axiomas y postulados aceptados y teoremas probados en anterioridad. Toda demostración debe constar de afirmaciones y razones.