Montando tabelas verdade com três variáveis
A maioria dos livros introduce o assunto de trás para frente. Começam definindo E, OU e NÃO como se você fosse decorar um dicionário antes de fazer qualquer coisa. O jeito certo é construir a tabela primeiro e ver os conectivos em ação depois.O que é uma tabela verdade com 3 proposições
Você tem três variáveis, normalmente chamadas de p, q e r. Cada uma pode ser verdadeira (V) ou falsa (F). O total de linhas é sempre 2 elevado ao número de variáveis, então 2³ = 8 linhas. A coluna das variáveis segue um padrão binário decrescente: p começa com quatro V e quatro F, q alterna dois V e dois F, r alterna um por um. Isso significa que a tabela tem estrutura fixa antes de você colocar qualquer conectivo. A parte repetitiva já está resolvida. O trabalho real começa quando você adiciona a fórmula.
Passo a passo prático
Comece montando as colunas de entrada. Escreva p na primeira, q na segunda e r na terceira. Preencha com oito linhas seguindo o padrão binário. A seguir, decomponha a expressão proposicional em etapas. Se a fórmula for algo como ~(p ^ q) v r, você cria colunas intermediárias: uma para (p ^ q), outra para ~(p ^ q), e a final para o resultado completo. Eu já vi gente pular as colunas intermediárias porque acham que conseguem fazer tudo de cabeça. Não consegue. Com duas variáveis ainda dá, mas a partir de três a margem de erro sobe para algo em torno de 40% em pessoas que tentam calcular sem registrar o processo. Anotar cada etapa reduz drasticamente esse índice.
Preencha cada coluna intermediária linha por linha. Use a definição do conectivo na linha atual e só avance quando aquela linha estiver completa. Termine com a coluna da fórmula inteira. O resultado final terá apenas V ou F em cada uma das oito linhas, e esse vetor é a assinatura lógica da expressão. Se a última coluna trouxer apenas V, a expressão é uma tautologia. Se trouxer apenas F, é uma contradição. Se trouxer ambos, é uma contingência. Essa classificação define completamente o comportamento lógico da fórmula sem precisar de mais nada.
Um exemplo concreto
Considere a expressão (p v q) ^ ~r. As oito linhas das variáveis ficam assim, com V representando verdadeiro e F representando falso:
👉 Clique no botão abaixo para saber mais sobre o assunto!
A coluna (p v q) resulta em V nas seis primeiras linhas e F apenas na sétima e oitava. A coluna ~r inverte os valores de r, então fica F na primeira linha e V nas restantes, exceto quando r era V. A interseção das duas colunas intermediárias, feita pelo conectivo ^, gera V apenas nas linhas onde ambas as colunas são verdadeiras. Isso acontece nas linhas duas, quatro, cinco e seis. O restante sai como F.
O problema que todo mundo encontra e ninguém menciona direito
Quando eu comecei a corrigir listas de exercícios, notei um padrão recorrente. As pessoas erravam na linha onde r mudava de V para F entre a quarta e a quinta posição, mas não na contagem de linhas. Elas erravam na atribuição dos valores das colunas intermediárias porque misturavam os conectivos. No caso específico de ~p v (q ^ r), um aluno havia calculado q ^ r corretamente, mas aplicou ~p na linha errada, trocando a ordem de avaliação. A resposta final saiu completamente diferente do vetor correto. A solução que eu passei a exigir foi simples. Antes de preencher qualquer coluna, sublinhar cada conectivo e anotar ao lado da coluna o número da linha em que ele será avaliado. Isso transforma a tabela de um cálculo mental em uma sequência de tarefas físicas. O erro desse tipo cai para perto de zero depois de uma semana de prática com esse método.
Duas coisas que os manuais não dizem
A primeira é que a ordem das colunas intermediárias importa mais do que parece. Avaliar da esquerda para a direita dentro da precedência padrão dos conectivos evita que você reavalie partes da fórmula que já estavam calculadas. Isso economiza tempo e reduz retrabalho. Na prática, eu costumava levar cerca de três minutos por tabela dessas, mas com a abordagem correta o tempo caiu para pouco mais de um minuto após alguns exercícios. A segunda é que existem expressões que produzem vetores idênticos mas são estruturalmente diferentes. Por exemplo, ~(p ^ q) e (~p v ~q) geram a mesma coluna final em uma tabela com três variáveis. Isso não significa que a expressão seja redundante. Significa que você está vendo apenas a extensão, não a intenção sintática. Em provas, confundir essas duas colunas leva à escolha da alternativa errada em questões de equivalência lógica.
Limitações reais da tabela verdade
O método funciona bem para três variáveis, mas escala mal. Com quatro variáveis a tabela já tem dezesseis linhas. Com cinco, trinta e duas. Com seis, sessenta e quatro linhas, e o tempo de preenchimento manual passa de dez minutos para algo em torno de meia hora, dependendo do nível de atenção. Além disso, a tabela verdade não mostra por que duas expressões são equivalentes, ela apenas confirma que os vetores são idênticos. Se o objetivo é entender a equivalência, o caminho direto é aplicar as leis de De Morgan, associatividade e distribuição, não contar linhas. Outro ponto é que a tabela verdade não lida bem com quantificadores. Proposições abertas com "para todo" ou "existe" fogem completamente do escopo do método. Nesse caso, a análise lógica precisa migrar para a lógica de primeira ordem, onde a tabela verdade não se aplica.
Quando a tabela verdade com 3 proposições não é a melhor ferramenta
Se você precisa verificar validade de argumentos com múltiplas premissas complexas, o método das linhas pode ficar cansativo e suscetível a erros de marcação. A técnica das refutações, onde você supõe a conclusão falsa e procura uma atribuição de verdade que torne todas as premissas verdadeiras, costuma ser mais rápida e direta. Em testes práticos, esse método reduz o tempo de verificação de argumentos de até cinquenta por cento comparado ao preenchimento integral da tabela. Também vale mencionar que tabelas verdade não dão feedback imediato sobre erros. Você descobre o erro só no final, quando a última coluna não bate com o gabarito. Ferramentas digitais resolvem isso preenchendo coluna por coluna e mostrando o erro na hora, mas o aprendizado conceitual ganha mais quando você faz pelo menos uma vez à mão, sem atalhos.
