O que é proposição é o que não é?

O que é e o que não é uma proposição na lógica?

No estudo da lógica matemática e do raciocínio lógico, o conceito de proposição é o ponto de partida fundamental. De forma simples, uma proposição é uma oração declarativa que expressa um pensamento completo e que possui um valor lógico bem definido: ou ela é totalmente verdadeira, ou é totalmente falsa, sem meio-termo.

Para que uma sentença seja considerada uma proposição, ela precisa obrigatoriamente permitir esse julgamento. Por exemplo, a afirmação “Esta mesa é de madeira” é uma proposição, pois podemos olhar para o objeto e constatar se a informação corresponde ou não à realidade. Da mesma forma, dizer que "sete é um número par" é uma proposição (neste caso, falsa).

Por outro lado, muitas sentenças do nosso dia a dia não são proposições porque não podem ser classificadas como verdadeiras ou falsas. Esse é o caso das orações não declarativas, que incluem perguntas (“2 é um número primo?”), ordens (“Estude mais!”) e exclamações (“Que dia bonito!”). Nenhuma delas afirma algo que possa ser testado logicamente.

Além disso, a lógica exclui as chamadas sentenças abertas. Expressões matemáticas ou frases como “x - 1 = 2” ou “Ele foi um grande presidente” não são proposições enquanto não soubermos o valor de "x" ou a quem a palavra "Ele" se refere. Sem essa definição, a sentença fica incompleta e é impossível determinar se a declaração é verdadeira ou falsa. Compreender essa distinção é essencial para construir argumentos válidos e evitar armadilhas no raciocínio.