Una
proposición lógica es aquel enunciado que solo puede ser o verdadero, o falso, pero no ambos a la vez.
Ejemplos:
- El sol es una estrella.
- Aristóteles descubrió América.
Del primer enunciado podemos decir que es verdadero, del segundo enunciado podemos decir que es falso. Debido a que a estos enunciados se les puede dar un valor de verdad (verdadero o falso), decimos que son proposiciones lógicas.
Veamos los siguientes enunciados:
- Quisiera ir de viaje
- Hola!, ¿como estás?
A estos enunciados no se les puede dar un valor de verdad (es decir, no se puede decir de ellos que son verdaderos o falsos); por lo tanto, a éstos no se les puede considerar proposiciones lógicas.