Proposições em lógica: o que funciona na prática
A ideia de separar proposições simples das compostas aparece em qualquer curso introdutório de lógica, mas o que realmente importa é saber lidar com elas quando você está montando uma tabela-verdade ou validando um argumento. Tudo começa com a definição básica. Uma proposição simples é um enunciado que não contém outros enunciados como partes constitutivas. Ela é atômica no sentido lógico. Um exemplo típico é "O número 7 é ímpar." Isso é verdade ou falso, ponto final. Não dá para decompor em partes menores que tenham valor de verdade independente dentro do sistema. Uma proposição composta é o resultado da combinação de duas ou mais proposições por conectivos lógicos. "O número 7 é ímpar e 5 é par" envolve uma conjunção. "Se chover, então o chão fica molhado" envolve uma condicional. O valor de verdade da proposição composta depende exclusivamente dos valores de verdade das proposições componentes e do conectivo aplicado. Isso é o que chamamos de funcionalidade da verdade, e é o princípio que permite construir tabelas-verdade de forma mecânica.
Diferença entre proposições simples e compostas
A distinção prática mais importante que vejo as pessoas ignorarem diz respeito à identificação dos conectivos. Você precisa saber distinguir conectivos lógicos de palavras do cotidiano que parecem conectivos mas não são. Tome a frase "João é médico e advogado." Em português coloquial, isso soa como se tivesse dois predicados sobre um único sujeito. Do ponto de vista lógico, ela não é uma conjunção de duas proposições independentes. É uma proposição simples com um sujeito composto. O conectivo "e" aqui liga predicados, não proposições. Eu já perdi tempo revisando tabelas-verdade de alunos que tratavam esse tipo de construção como composta quando ela não era. Outro caso frequente de confusão envolve orações subordinadas substantivas. "É necessário que você estude" não é uma proposição composta. A palavra "que" aqui introduz uma oração complementar, não um conectivo lógico. O conteúdo inteiro funciona como um único atomos verbal. Se você tentar decompor em "é necessário" e "você estuda" e montar uma tabela-verdade, o exercício não funciona porque não há conectivo proposicional verdadeiro ali.
As proposições compostas se dividem nos conectivos padrão: negação (~), conjunção (&), disjunção (v), condicional (->), e bicondicional (<->). Cada um tem sua tabela de verdade own, e dominar isso é o que permite avaliar argumentos complexos. A negação inverte o valor. A conjunção só é verdadeira quando ambos os lados são verdadeiros. A disjunção inclusiva é falsa apenas quando ambos são falsos. A condicional é o que mais causa confusão: ela só é falsa quando o antecedente é verdadeiro e o consequente é falso. O resto dos casos resulta em verdadeiro. Um detalhe que poucos cursos ensinam com a devida clareza é que proposições compostas podem ter profundidade variável. "Se (p e q) então (r ou ~s)" é uma proposição composta de grau mais elevado, com conectivos aninhados. Para analisar corretamente, você precisa identificar a ordem de precedência dos conectivos. A negação vem primeiro, depois conjunção e disjunção, e por último a condicional e o bicondicional. Quando eu comecei a corrigir provas, via gente errando questões porque aplicava os conectivos na ordem errada — calculavam a condicional antes da disjunção interna, por exemplo. A solução era sempre a mesma: colocar parênteses explícitos antes de montar a tabela-verdade, mesmo que a sintaxe original não os exigisse.
👉 Clique no botão abaixo para saber mais sobre o assunto!
O problema é que existem situações onde a análise de proposições simples e compostas não resolve tudo. Lógica proposicional, que é onde esses conceitos vivem, não consegue capturar a estrutura interna das proposições. Frases como "Todo homem é mortal" e "Sócrates é homem, logo Sócrates é mortal" exigem lógica de predicados para serem analisadas corretamente. Dentro da lógica proposicional pura, você trataria essas frases como átomos sem decomposição possível. Se o seu objetivo é analisar argumentos com quantificadores, a ferramenta certa não é proposicional. É predicate logic. Eu recomendo isso sempre que vejo alunos tentando forçar tabelas-verdade em problemas que naturalmente exigem quantificadores — é perda de tempo e gera respostas equivocadas. Outro ponto prático: a complexidade das tabelas-verdade cresce exponencialmente. Com n variáveis propositionais, você precisa de 2^n linhas. Três variáveis dão oito linhas — tranquilo. Cinco variáveis já são trinta e duas linhas, o que começa a dar trabalho manual real. Com seis ou mais, a maioria das pessoas simplesmente não completa a tabela sem erro. A alternativa funcional aqui é usar técnicas algébricas ou ferramentas computacionais. Mapas de Karnaugh ajudam na simplificação de expressões booleanas quando você está lidando com circuitos ou álgebra booleana. Para proposições puramente lógicas, a redução por leis de De Morgan e outras equivalências lógicas costuma ser mais eficiente do que expandir tudo em tabela-verdade.
A equivalência lógica também é um conceito que merece atenção. Duas proposições compostas diferentes podem ser semanticamente idênticas. "~(p e q)" é equivalente a "~p v ~q". Isso não é só curiosidade teórica — serve para simplificar argumentos e detectar contradições. Se você conseguir transformar uma proposição complexa em uma tautologia ou contradição por meio de equivalências, o trabalho de análise encurta significativamente. Em vez de montar uma tabela com dezesseis linhas, você reduz para três ou quatro passos algébricos. Há ainda a questão das ambiguidades sintáticas em português. A frase "Não é verdade que chove e faz frio" pode ser lida de duas formas dependendo da escopo da negação. Pode ser "~(p e q)" ou "~p e q". Na linguagem escrita formal, a pontuação resolve isso. Nas provas e nos exercícios do dia a dia, geralmente não há pontuação suficiente. Eu desenvolvi o hábito de pedir aos alunos que reescrevam a frase com parênteses antes de qualquer análise, e isso elimina a maior parte dos erros de interpretação. Sem essa etapa, as pessoas assumem uma análise quando na verdade a ambiguidade era real e precisava ser resolvida primeiro.
Para quem está estudando o assunto agora, o caminho mais direto é: identificar cada átomo propositionales, mapear os conectivos com parênteses explícitos, montar a tabela-verdade respeitando a ordem de precedência, e verificar se o resultado confirma a validade do argumento em questão. Se a expressão tiver mais de quatro variáveis, considere abreviar com equivalências ou usar uma ferramenta. E se o problema envolver quantificadores como "todo", "algum" ou "nenhum", sai da lógica proposicional e parte para a lógica de primeira ordem.
