Durante a elaboração de um sistema informatizado, uma equipe precisou distinguir proposições lógicas de expressões que não possuem valor de verdade definido. Foram analisadas sentenças declarativas, interrogativas e abertas, considerando que uma proposição deve admitir classificação como verdadeira ou falsa, ainda que seu valor não seja conhecido no momento da análise.

Considerando os fundamentos da lógica proposicional clássica, assinale a alternativa que apresenta uma proposição lógica.