La proposición lógica es un enunciado lingüístico con sentido que puede ser verdadero o falso pero no ambos a la vez. Las proposiciones pueden ser simples u compuestas; las proposiciones simples son afirmaciones claramente definidas con un valor de certidumbre que no contienen conectivos lógicos, mientras que las proposiciones compuestas constan de dos o más proposiciones simples unidas por conectivos lógicos.