Proposições que possuem a mesma tabela-verdade são chamadas de proposições logicamente equivalentes (ou simplesmente equivalentes). Qual das altern...

Vamos analisar as opções: A proposição P (~P ~Q)→ ˄ pode ser reescrita como ~P ˄ (~P ~Q). Analisando as opções: a) Q: Não é uma equivalência lógica, pois não representa a mesma tabela-verdade. b) P: Não é uma equivalência lógica, pois não representa a mesma tabela-verdade. c) ~Q: Não é uma equivalência lógica, pois não representa a mesma tabela-verdade. d) ~P: Esta é a equivalência lógica da proposição original ~P ˄ (~P ~Q). e) ˅~P Q: Não é uma equivalência lógica, pois não representa a mesma tabela-verdade. Portanto, a alternativa correta é: d) ~P