O que caracteriza uma proposição lógica?

Uma proposição lógica é uma sentença declarativa que admite valoração lógica: pode ser julgada verdadeira ou falsa.

Uma sentença precisa expressar uma afirmação passível de verificação para ser proposição; perguntas, ordens e interjeições não são proposições enquanto não forem convertidas em declarações avaliáveis.

Exemplo:
Proposição: "A biblioteca pública fecha às 18h." — esta frase pode ser verificada e classificada como verdadeira ou falsa.
Não é proposição: "A biblioteca fecha às 18h?" — é uma pergunta e não admite valoração lógica direta.