Em lógica, uma proposição, (ou sentença lógica), é uma frase declarativa que pode ser classificada como verdadeira ou falsa, mas nunca ambas simultaneamente. Frases interrogativas, exclamativas, subjetivas ou paradoxais não são consideradas proposições lógicas por não permitirem essa valoração.

Com base nessa definição, assinale a alternativa que apresente uma sentença lógica.