Álgebra/Proposiciones Lógicas

Una proposición lógica es un enunciado, o conjunto de símbolos del lenguaje, que puede ser verdadera o falsa.

Algunos ejemplos de proposiciones son:

- Carlos se divierte sanamente
- Juan ama las matemáticas
- Jair escribe este texto
- Los áboles grandes son muy fuertes
- La mañana linda es calurosas y la noche fría, triste. 

A cada una de las proposiciones anteriores se les puede asignar un valor de verdadero o de falso.

A continuación se describen algunos ejemplos de enunciados que NO son propociones:

- Hasta pronto
- HOLA!
- Qué frío!