(Rosen 1.1.1) Quais das sentenças abaixo são proposições? Qual o valor de verdade das que são proposições?
Joinville é a capital de Santa Catarina.
Joinville é a capital de Santa Catarina.
Passo 1
O enunciado apresenta a única frase “Joinville é a capital de Santa Catarina.” e pede para dizer se ela é uma proposição e, em caso afirmativo, qual é o seu valor de verdade. O conteúdo envolvido é lógica proposicional, e vamos usar a definição de proposição: uma frase declarativa que admite valor de verdade (verdadeira ou falsa).
Passo 2
Por definição, proposição é uma frase que faz uma afirmação clara e unívoca, de modo que seja possível atribuir-lhe verdadeiro ou falso. A frase “Joinville é a capital de Santa Catarina.” é declarativa e afirma um fato sobre geografia, portanto é uma proposição.
Passo 3
Para determinar o valor de verdade, consultamos a realidade geográfica: a capital de Santa Catarina é Florianópolis, não Joinville. Logo, a proposição é falsa.
Resposta
A sentença é uma proposição e seu valor de verdade é falso.