LETRA B

A questão exigiu conhecimento de Equivalências Lógicas.

Para que duas proposições sejam equivalentes, elas devem possuir a mesma tabela-verdade.

A proposição P ᴧ (~Q) é equivalente à negação de uma condicional (P → Q).

Vamos relembrar os valores lógicos da condicional (P → Q).

Uma proposição composta com o conectivo SE...ENTÃO (condicional) só terá valor lógico falso quando ocorrer V-F, ou seja, quando a primeira proposição simples tiver valor lógico verdadeiro, e a segunda proposição simples tiver valor lógico falso.

Com isso, o que foi que acabamos de afirmar?

Que, para negarmos a condicional, devemos manter a proposição "P" e devemos negar a proposição "Q" (~Q).

E foi exatamente essa a proposição composta que a questão nos forneceu no enunciado: P ᴧ ~Q.

Percebeu?

O que a questão fez foi o caminho inverso.

Em vez de pedir a negação de (P → Q), ela pediu a proposição equivalente à P ᴧ (~Q).

Para confirmarmos que elas são equivalentes, vamos verificar as suas tabelas-verdades.

Observe que as proposições (P → Q) e P ᴧ (~Q) possuem a mesma tabela-verdade.

Logo, são equivalentes.