Quais das sentenças abaixo são proposições? No caso das proposições, quais são verdadeiras?
Passo 1
O enunciado pede para identificar quais sentenças são proposições e, para cada proposição, determinar se ela é verdadeira ou falsa. O conteúdo é lógica proposicional, em que uma proposição é uma frase declarativa à qual podemos atribuir valor-verdade.
Passo 2
Uma frase é uma proposição se e somente se for declarativa, estiver bem definida (não ambígua) e tiver exatamente um valor-verdade (verdadeira ou falsa). Frases interrogativas, imperativas ou abertas (com variáveis não especificadas) não são proposições.
Passo 3
A sentença dada é
Trata-se de uma frase declarativa, fechada (não há variáveis livres) e sem ambiguidade, logo é uma proposição.
Passo 4
Para verificar seu valor-verdade, calculamos o produto:
Como essa igualdade é correta, a proposição é verdadeira.
Resposta
A única sentença é uma proposição, e ela é verdadeira.