Á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: - Hasta pronto

- HOLA!
- Qué frío!
- adios

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 son propociones negadas :

- Carlos no se divierte sanamente

- Juan no ama las matemáticas
- Jair no escribe el texto
- Los árboles grandes no son muy fuertes
- la computadora no esta encendida
- Bogotá no es la capital de Francia