O que é uma tabela-verdade
A tabela-verdade é um recurso para analisar todas as combinações possíveis de valores lógicos de uma proposição composta. Cada proposição simples pode ser verdadeira ou falsa. Portanto, com n proposições simples, haverá 2ⁿ linhas. Para duas proposições, são quatro combinações; para três, oito.
Montagem das linhas
Com p e q, escreva as combinações: V,V; V,F; F,V; F,F. Em tabelas maiores, alterne os valores de forma organizada. A primeira coluna pode mudar mais lentamente e a última mais rapidamente. O essencial é não repetir nem omitir possibilidades.
Regras fundamentais
Na negação, os valores são invertidos. Na conjunção p e q, somente V,V produz resultado verdadeiro. Na disjunção p ou q, somente F,F produz resultado falso. Na condicional p implica q, somente V,F produz resultado falso. Na bicondicional, o resultado é verdadeiro quando os valores coincidem.
Exemplo de construção
Considere (p e q) implica r. Primeiro, crie as colunas de p, q e r. Depois, calcule p e q. Por fim, compare o resultado dessa coluna com r usando a regra da condicional. Não tente resolver a expressão inteira de uma vez: as colunas intermediárias reduzem erros.
Classificação
Uma expressão é tautologia quando é verdadeira em todas as linhas. É contradição quando é falsa em todas. Quando apresenta valores verdadeiros e falsos, é contingência. Essa classificação aparece em questões sobre fórmulas equivalentes e argumentos válidos.
Estratégia de prova
Conte as proposições distintas antes de iniciar. Uma mesma letra repetida continua sendo uma única proposição. Resolva primeiro os parênteses internos e destaque o conectivo principal. Se a questão pedir apenas uma linha específica, não é necessário montar a tabela completa; basta identificar os valores fornecidos e aplicar as regras.
Erros comuns
O erro mais frequente é considerar a condicional falsa em qualquer situação com antecedente falso. Isso está errado: p implica q é verdadeira quando p é falsa. Outro problema é tratar o “ou” inclusivo como se apenas uma alternativa pudesse ser verdadeira. Observe sempre o padrão adotado no enunciado.
Conclusão
A tabela-verdade é mecânica quando suas etapas são respeitadas. Treine expressões com negação, parênteses e vários conectivos, conferindo cada coluna antes de avançar. A organização visual é tão importante quanto o conhecimento das regras.
