Para a relação de equivalência, o professor colocou o quadro como as chamadas equivalências notáveis: TABELA 6 Equivalências Lógicas. Claudio observou o quadro e questionou seu professor: Professor, vejo pelo quadro que as equivalências notáveis listadas envolvem apenas conjunção e disjunção. O que eu faço se tiver condicional? Sempre terei que fazer a tabela-verdade para verificar a equivalência?

Resumo da Resposta

Não é necessário construir uma tabela-verdade para cada caso; basta aplicar a Lei da Implicação Material (p \rightarrow q \equiv \neg p \lor q) para transformar a condicional nos conectivos já estudados.

Introdução

Claudio identificou corretamente que a tabela apresentada cobre apenas os conectivos fundamentais: conjunção (\land), disjunção (\lor) e negação (\neg). No entanto, a lógica proposicional estabelece regras que permitem traduzir outros conectivos, como a condicional, para essa linguagem básica.

Desenvolvimento

Para resolver expressões que envolvem condicionais (\rightarrow) sem usar tabelas-verdade, utilizam-se equivalências lógicas específicas. A mais importante é a definição de implicação material. Ela afirma que uma condicional é logicamente equivalente a uma disjunção onde o antecedente é negado.

A fórmula geral é:
p \rightarrow q \Leftrightarrow \neg p \lor q

Isso significa que, ao encontrar uma condicional, você pode substituí-la imediatamente por sua forma disjuntiva. Após essa conversão, a expressão passa a conter apenas os símbolos presentes no quadro do professor, permitindo o uso das propriedades listadas (como De Morgan, Distributiva, etc.).

Além disso, existe a Equivalência da Contrapositiva, que diz que uma condicional é equivalente à condicional inversa com termos invertidos:
p \rightarrow q \Leftrightarrow \neg q \rightarrow \neg p

Análise

Para responder à questão do aluno, considere os seguintes passos práticos:

• Identifique o Conectivo: Verifique se há um "$\rightarrow$" na expressão.
• Aplique a Transformação: Use a lei p \rightarrow q \equiv \neg p \lor q.
• Simplifique: Utilize as leis da tabela (como Absorção ou Distributiva) para simplificar a nova expressão.
• Compare: Se houver outra condicional, transforme-a também para comparar as formas finais.

Conclusão

Portanto, a resposta para Claudio é que ele não precisa depender exclusivamente da tabela-verdade. Ao conhecer as equivalências específicas da condicional, ele consegue converter qualquer problema lógico para a linguagem básica da tabela, tornando a resolução mais rápida e eficiente.