Matemáticas/Definiciones/Proposición

Una proposición es un enunciado que puede ser válido o falso.

Ejemplos

"Madrid es la capital de España"
"Roma está en Asia"
"2 +3 =5"
"2+3 =8"

Lógicamente hablando, o sea en términos de válido o falso, las proposiciones se pueden clasificar como axiomas o teoremas dependiendo como aceptamos su validez. La validez de los axiomas se acepta sin demostración como punto de partida de una teoría. La válidez de los teoremas requiere una demostración.

En la presentación de textos se usan los vocablos "teoremas", "proposición", "corolario", "lema", "escolio" como sinónimos lógicos de teorema Por su parte,"postulado" es un sinónimo de axioma.

En teoremas de la forma "si P entonces Q", donde P y Q son proposiciones, se llama hipótesis a P y tésis a Q.