Raciocínio Lógico: O que é uma proposição

Você sabe o que é uma proposição?

Proposição é o primeiro conceito a ser visto quando se começa a se estudar raciocínio lógico.

Uma proposição nada mais é do que uma sentença declarativa que pode ser expressa por meio de palavras ou por meio de símbolos.

Assim, uma proposição não é interrogativa e nem exclamativa.

Além disso, toda proposição deve satisfazer os seguintes princípios:

1. Princípio do Terceiro Excluído: uma proposição é falsa ou verdadeira, excluindo-se uma terceira alternativa.
2. Princípio da Não Contradição: uma proposição não pode ser falsa e verdadeira ao mesmo tempo, ou seja, ela não pode se contradizer.

Exemplos:

1) Todo número par é divisível por 2.

2) 3+9=14.

3) O número 123 não é maior do que 321.

4) O ano não tem doze meses.

As proposições não deixam margens para interpretações ambíguas, ou seja, elas são afirmações de significado preciso.

Por isso, os resultados matemáticos formais são formulados usando-se proposições, já que a precisão é uma das principais características da matemática.

O valor lógico de uma proposição é dito verdadeiro quando a sentença é verdadeira, e falso, caso contrário.

Assim, no exemplo acima, o valor lógico das proposições 1 e 3 é verdadeiro e o das proposições 2 e 4 é falso.

Dizemos também que uma proposição é válida se o seu valor lógico é verdadeiro, e não válida quando for falsa.

Por isso, as proposições 1 e 3 são válidas e as proposições 2 e 4 são não válidas.