Question

identifique quais sentenças a seguir não são proposições. Justifique.
a) Larissa é elegante;
b) O sol é uma estrela;
c) Salvador é a capital da Bahia e Sergipe;
d) Se 5 é primo então 2 não divide 5;
e) Aterra é redonda?
f) O pico da Neblina (3014 metros) é muito alto;
g) O pico da neblina é mais alto que o pico da bandeira (2890 metros).

Answer 1

Apenas as alternativas e) e f) não são proposições. As demais ãlternativas são poposições.

De forma geral, quando tratamos de proposição, nos referimos à lógica proposcional.

Mas é importante notar que existem outros tipos de lógicas como a lógica filosófica, a lógica informal e a lógica matemática.

Vamos analisar cada uma das alternativas

a) Larissa é elegante;

é uma proposição por que é uma sentença que se pode afirmar como verdadeira ou falsa

Repare que mesmo considerando que elegante possa ser algo subjetivo, ainda assim se trata de uma proposição.

"Larissa é elegante" é uma afirmação e não existe ambigudade.

Já a frase "Larissa quer ser mais elegante" não é proposição lógica.

b) O sol é uma estrela;

é uma proposição por que é uma sentença que se pode afirmar como verdadeira ou falsa. Neste caso, é verdadeira

c) Salvador é a capital da Bahia e Sergipe;

é uma proposição que é conhecida como conjunção.

Esta conjunção é falsa porque Salvador não é capital de sergipe.

d) Se 5 é primo então 2 não divide 5;

é uma proposição

e) Aterra é redonda?

é uma pergunta e não é proposição. Apesar de poder ser respondido com verdadeiro ou falso, a proposição tem que ser uma afirmação.

f) O pico da Neblina (3014 metros) é muito alto;

Não é uma proposição para a lógica proposicional. Existe ambiguidade.

O problema é a palavra "muito". O que é muito e o que é pouco? Comparado com o monte everest, será que o pico da bandeira é muito alto? Esta lógica se chama de lógica fuzzy que é o estudo de lógica onde se permite ambiguidade.

g) O pico da neblina é mais alto que o pico da bandeira (2890 metros).

é uma  proposição. Ao contrário da alternativa f), não existe ambiguidade aqui.

A afirmação é clara: Uma altura x (específica) é maior que outra altura y (específica)