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