O que é proposição em raciocínio lógico?

O que é uma proposição no raciocínio lógico?

No estudo do raciocínio lógico, a proposição é o elemento fundamental para a construção de qualquer argumento. De forma simples, uma proposição é uma oração declarativa que exprime um pensamento completo. Isso significa que ela possui, obrigatoriamente, um sujeito e um predicado, permitindo que o leitor compreenda claramente a informação que está sendo transmitida.

O grande diferencial de uma proposição lógica está na sua capacidade de ser valorada. Ela deve ser classificada de forma categórica como verdadeira ou falsa. Por exemplo, a frase "A Terra é um planeta" é uma proposição verdadeira, enquanto "O Sol é feito de gelo" é uma proposição falsa. O que importa não é a veracidade do fato em si, mas a possibilidade de atribuir a ela um desses dois valores.

Por outro lado, existem frases que nunca podem ser consideradas proposições lógicas. As sentenças exclamativas ("Que dia lindo!"), interrogativas ("Qual é o seu nome?") e imperativas ("Estude mais hoje") ficam de fora, pois não afirmam nem negam nada, impossibilitando qualquer julgamento de valor. Além disso, a lógica segue o princípio da não-contradição: uma proposição jamais poderá ser verdadeira e falsa ao mesmo tempo.

Compreender esse conceito é o primeiro passo para dominar tabelas-verdade e conectivos lógicos, assuntos recorrentes em provas e concursos públicos.