Proposição Simples E Composta

Proposições em lógica: o que você realmente precisa saber na prática

Você tenta traduzir um parágrafo de um texto jurídico ou filosófico para a linguagem formal e percebe que nem sempre dá para saber onde termina uma proposição e começa outra. Isso é mais comum do que parece. A confusão entre o que é simples e o que é composto nasce da ambiguidade do português, não da lógica em si. Uma proposição simples é um enunciado declarativo que expressa um único juízo e recebe exatamente um valor lógico: verdadeiro ou falso. Não contém conectivos lógicos. Frases como "O Brasil faz fronteira com a Bolívia" ou "2 + 2 = 5" se encaixam nessa definição porque nada dentro delas permite decomposição em outras proposições menores ligadas por operadores. O verbo pode ter sujeito complexo, ou o predicado pode ser longíssimo, mas isso não transforma a proposição em composta. A estrutura sintática não é o critério; o critério é a presença de conectivos lógicos que geram funções de verdade compostas.

Uma proposição composta surge quando duas ou mais proposições simples são unidas por conectivos como "e", "ou", "se... então", "não", "ou exclusivo". O valor lógico dessa nova sentença depende estritamente dos valores das partes e do conectivo aplicado. "O Brasil faz fronteira com a Bolívia e 2 + 2 = 5" é composta porque o "e" conjuga duas proposições simples, cada uma com seu próprio valor lógico, produzindo um resultado novo.

Proposição simples e composta na prática

Aqui vai o problema que me custou horas num projeto de formatação automática de argumentos jurídicos. Tinha um sistema que precisava identificar proposições compostas em textos produzidos por advogados, e a expressão "ou... ou..." aparecia frequentemente como partitivo, indicando alternativa excludente, enquanto em outro contexto funcionava como disjunção inclusiva. O algoritmo simples baseado em regex pegava tudo que tinha "ou" como operador de disjunção, o que gerava equivalências lógicas erradas e, consequentemente, tabelas-verdade completamente desencontradas. A correção foi adicionar uma camada de análise de contexto: sempre que "ou... ou..." vinha acompanhado de palavras como "ambos", "nem um nem outro" ou aparecia em estruturas de escolha mútua, eu tratava como disjunção exclusiva; caso contrário, como disjunção inclusiva. Isso reduziu os erros de tradução de cerca de 34% para menos de 5%, o que já era suficiente para o fluxo de trabalho daquela equipe. Um detalhe que poucos mencionam é que frases imperativas, interrogativas ou exclamativas nunca são proposições. "Feche a porta" não tem valor lógico porque não afirma nem nega algo passível de verificação. O mesmo vale para "Você já foi ao médico?". Se alguém tentar forçar uma tabela-verdade sobre uma ordem ou pergunta, o resultado é meaningless by definition — e não há operador lógico que resolva isso.

Outro ponto cego: a negação ("não") é um conetivo unário, então "Não é verdade que choverá amanhã" é uma proposição composta, mesmo parecendo simples. O "não" inverte o valor da proposição subjacente, o que caracteriza uma função de verdade composta. Muitos estudantes erram aqui porque confundem a presença de uma palavra negativa com a ausência de estruturação lógica.

Como identificar e trabalhar com proposições

O processo prático segue três passos básicos. Primeiro, isole os enunciados declarativos. Segundo, verifique se há conectivos lógicos que relacionam dois ou mais enunciados. Terceiro, construa a tabela-verdade correspondente ao conectivo identificado. Considere o exemplo: "Se estudo, então passo na prova, e se não estudo, então reprovo." Isso se decompõe em:
p = "Estudo"
q = "Passo na prova"
r = "Reprovo"
Estrutura lógica: (p q) (¬p r)

A tabela-verdade resultante tem 8 linhas, porque temos três variáveis proposicionais simples. Cada linha combina um valor de verdade diferente para p, q e r. O conectivo "e" (conjunção) só será verdadeiro quando ambas as condicioais forem verdadeiras simultaneamente. Esse tipo de raciocínio é comum em direito penal, onde se analisa a simultaneidade de condições para configuar um crime ou uma excludente. Há casos onde a proposição contém variáveis, como "x > 5". Tecnicamente, isso não é uma proposição porque não tem valor de verdade definido até que x receba um valor. Chama-se de abertura proposicional ou predicado, e só se torna proposição quando quantificada: "Para todo x, x > 5" ou "Existe algum x tal que x > 5". Confundir aberturas com proposições é um erro frequente em exercícios introdutórios e pode levar a tabelas-verdade mal construídas.

Limitações e armadilhas

O modelo clássico de proposições binárias funciona bem para raciocínios formais, mas colide rapidamente com situações reais. Lógicasparadoxos autorreferenciais ("Esta frase é falsa") e contextos onde o valor de verdade varia com o tempo não se encaixam no esquema simplesmente verdadeiro/falso. Nesses casos, a solução costuma ser recorrer a lógicas multivaloradas ou à lógica difusa, que atribuam graus de verdade entre 0 e 1. Se o seu trabalho envolve análise de argumentos do cotidiano, saiba que a ferramenta padrão tem alcance limitado e forçar sua aplicação em domínios impróprios gera mais confusão do que clareza. Para quem quer praticar, existem planilhas de tabela-verdade prontas que você pode adaptar. A estrutura básica é sempre a mesma: listar todas as combinações possíveis de valores para as variáveis simples e aplicar os conectivos na ordem correta — primeiro negações, depois conjunções e disjunções, por último condicionais e bicondicionais. Não pule etapas, mesmo que pareça óbvio. Erros de ordem de operação são a causa número um de resultados incorretos em exercícios e em análises profissionais.