Esta interessante tradução de um pensamento em uma combinação de símbolos da lógica das proposições é apenas uma forma de organizar as ideias, que facilita o raciocínio lógico necessário à interpretação de um pensamento expressado.

Certamente já nos expressamos, ou já vimos alguém se expressar, por meio de sentenças iguais ou similares às listadas abaixo:

O automóvel é um meio de transporte.
Os animais são todos mamíferos.
Brasília faz parte da região Sul do Brasil.
O ano possui um total de 12 meses.
O filho de Leila e Denis nasceu no Brasil.
Carlos é Engenheiro Civil desde 1981.
Lucas usa óculos somente para ler.
A praia mais perto fica a uma distância de 70 km.

Todas essas são sentenças ditas declarativas, devido à característica de admitem juízo de valor, ou seja, podem ser interpretadas como verdadeiras (V) ou falsas (F).

Para a lógica das proposições esta é a característica da bivalência de uma sentença declarativa, necessária e obrigatória para que a sentença seja chamada de proposição lógica.

Para ser uma proposição lógica, a sentença tem de ser declarativa.

bivalência

A bivalência é uma característica das lógicas clássicas que significa que uma proposição lógica possui apenas dois tipos de valores: verdadeiro ou falso.

TITULO

TEXTO