A análise da estrutura do pensamento é a essência da lógica das proposições. Interpretar as sentenças lidas ou ouvidas é o cotidiano de qualquer pessoa, que, sem saber, está exercitado o raciocínio lógico matemático.
A partir dessa análise, identificam-se as sentenças que admitem juízo de valor V (verdade) ou F (falsidade), classificando-as como sentenças do tipo declarativas e, por tanto, bivalentes. Uma sentença declarativa pode possuir juízo de valor já conhecido, conforme exemplos descritos a seguir:
p: O automóvel é um meio de transporte.
p é uma proposição simples de valor lógico Verdadeiro. Ou seja, V(p) = V
q: Os animais são todos mamíferos.
q é uma proposição simples de valor lógico Falso. Ou seja, V(q) = F
r: Brasília faz parte da região Sul do Brasil.
r é uma proposição simples de valor lógico Falso. Ou seja, V(r) = F
s: O ano possui um total de 12 meses.
s é uma proposição simples de valor lógico Verdadeiro. Ou seja, V(p) = V
Como já visto, a lógica das proposições é denominada de lógica bivalente, pois uma proposição pode ser interpretada com um desses dois valores lógicos: verdade e falsidade. É importante lembrar também que: