(Rosen 1.1.1) Quais das sentenças abaixo são proposições? Qual o valor de verdade das que são proposições?
Passo 1
O enunciado traz a sentença
e pede para determinar se ela é uma proposição (isto é, uma frase declarativa com valor de verdade bem definido) e, em caso afirmativo, qual é o seu valor de verdade.
Passo 2
A sentença
é uma afirmação matemática clara e sem ambiguidade, logo é uma proposição. Para avaliar seu valor de verdade, calcula-se o lado esquerdo:
o que é correto. Portanto, o valor de verdade dessa proposição é verdadeiro.
Resposta
A sentença
é uma proposição e é verdadeira.