¿Qué es una proposición lógica?

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.