Teorema, Proposiciones y Axioma

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 teorema generalmente posee un número depremisas que deben ser enumeradas o aclaradas de antemano. Luego existe una conclusión, una afirmación matemática, la cual es verdadera bajo las condiciones dadas. El contenido informativo del teorema esla relación que existe entre la hipótesis y la tesis o conclusión.
Es una verdad no evidente, pero demostrable. Son ejemplos de teoremas:
° Si un número termina en cero o en cinco es divisible porcinco.
° Si un número divide a otros varios divide también a su suma.
Tanto el teorema como el postulado tienen una parte condicional (hipótesis) y una conclusión (tesis) que se supone se cumple encaso de tener validez la hipótesis.
El mundo de las matemáticas está colmado de teoremas, fórmulas, ecuaciones, problemas, algoritmos, curvas, etc. Que son conocidos por el nombre del matemáticoque real o supuestamente los enunció, demostró o resolvió.
PROPOSICIONES
Una proposición es una expresión idiomática susceptible a adquirir un valor de verdad, es decir una idea de la cual tienesentido decir que es verdadera o falsa.
De los ejemplos el único que está mal es que dice x>y-9 o algo a así ya que no podemos decir si es verdad o no, puesto que no conocemos x ni y , en este caso sellama función proposicional y para convertirla en proposición debes utilizar cuantificadores. Los cuantificadores te ayudan a convertir una función proposicional en una proposición.
Ej. De esto último:x+ y =2 no es una proposición pero decir Existe un x y Existe un y tal que x + y =2 si lo es.

Bueno ahora algunos ejemplos de proposiciones:
1- el sol es cuadrado. F
2- ) -17+38=21. V
3- ) 33es múltiplo de 2. F
4- ) 2+2=4 y 2+3=2. F
5- ) 8+2=10 ó 2+2=12. V
EN las dos últimas presta atención en los conectivos lógico y, o
Una proposición o enunciado es una oración que puede ser falsa...