Estas seis frases son enunciados declarativos, es decir, afirman cosas; y lo que afirman sera verdadero 0 falso seguin que se corresponda 0 no con los hechos. Las proposiciones 1 y 2 son verdaderas y la proposicién 3 es falsa, y para calificarlas como tales se requiere disponer de informacion o conocimientos adecuados. No obstante, para catalogar un enunciado como proposicion sélo se exige reconocer que el enunciado debe ser verdadero 0 falso, sin que sea necesario establecer explicitamente que es lo uno 0 es lo otro. Por ejemplo, al momento de escribir este texto la verdad o falsedad de la afirmacion 4 de la lista anterior, conocida como “La conjetura de Goldbach”, sigue sin establecerse, a pesar de mas de 250 afios de esfuerzos de connotados matematicos. Sin embargo, es claro que tal afirmacién tiene que ser verdadera o tiene que ser falsa, y por lo tanto es una proposicién.Proposiciones compuestas Las frases declarativas pueden ser proposiciones compuestas, El enunciado “A Juan le gusta el cine y a Pedro le gusta el teatro” esté formado por dos propasiciones conectadas con la conjuncién “y": “A Juan le gusta el cine”, la primera, y “a Pedro le gusta el teatro”, la segunda. En este caso la proposicion compuesta sera verdadera si (y solamente si) las proposiciones que la componen son verdaderas. Otro tipo de proposicién compuesta se forma conectando dos proposiciones con la disyuncién “o” “El proximo semestre debo matricularme en Inglés o Francés”. (Esta es la forma usual de enunciar la proposicién compuesta: “El proximo semestre debo matricularme en Inglés o el proximo semestre debo matricularme en Francés"), Observe que el enunciado no afirma que “El préximo semestre debo matricularme en Inglés” y tampoco que “El proximo semestre debo matricularme en Francés”. Lo que afirma es que el proximo semestre debo matricularme por lo menos en una de las dos materias.