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.
| Original | Transformada (Sem Condicionais) |
|---|
| $p \rightarrow q$ | $\neg p \lor q$ |
| $\neg(p \rightarrow q)$ | $\neg(\neg p \lor q) \equiv p \land \neg q$ |
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.