Proposiciones Verdaderas

Proposiciones Verdaderas
En Geometría se utilizan las proposiciones que son enunciados de hechos como una ley, o un principio, o una cuestión por resolver. También se conocen como un encadenamientode reglas prácticas que se suponen verdaderas, de tal manera que se obtengan mejores resultados.
Hay ciertas proposiciones que se utilizan en matemáticas, a las que se les ha dado nombres especiales yson: el axioma, el postulado, el lema, el teorema, el corolario y el problema.
AXIOMA: 
En lógica y matemática, un axioma o postulado es una fórmula bien formada de un lenguaje formal que se aceptasin demostración, como punto de partida para demostrar otras fórmulas. Tradicionalmente, los axiomas se eligen de entre las demás fórmulas por ser "verdades evidentes" y porque permiten deducir a lasdemás fórmulas deseadas. Sin embargo, no todos los teóricos están de acuerdo con esta aproximación. 
En matemática, un axioma no siempre es una verdad evidente, sino una fórmula bien formada utilizadaen una deducción para llegar a una conclusión. 
EJEMPLO: tenemos los axiomas euclidianos: El todo es igual a la suma de las partes. El todo es mayor que cada una de las partes. 
Entre dos puntos pasauna única línea recta. 


POSTULADO: 
Postulado es una proposición que se admite sin demostración, aunque sin la evidencia del axioma. EJEMPLO: Por un punto exterior a una recta sólo se puede dibujaruna sola paralela a la recta. 


TEOREMA: 
Un teorema es una afirmación que puede ser demostrada dentro de un sistema formal. Demostrar teoremas es un asunto central en la matemática. 
Un teoremageneralmente posee un número de condiciones que deben ser enumeradas o aclaradas de antemano y que se denominan propuestas. Luego existe una conclusión, una afirmación matemática, la cual es verdaderabajo las condiciones en las que se trabaja. El contenido informativo del teorema es la relación que existe entre la hipótesis y la tesis o conclusión. 

EJEMPLOS: 
Si dos rectas paralelas se cortan con...