Es una oracin declarativa que puede tomar el valor de verdadero o
falso pero no ambos a la vez. La proposicin es el elemento esencial de la lgica para la matemtica. En efecto, a la proposicin se le puede considerar excepcin lingstica que tiene la propiedad de tomar un solo valor de verdadero o falso, que sirve para la simplificacin de argumentos complicados se crea un lenguaje artificial en donde se establece un conjunto de reglas claras, bien definidas y no se presentan ambigedades lenguaje corriente.