Gabarito disponível
Julgue os itens seguintes, relacionados à lógica proposicional, considerando os símbolos lógicos comuns e as letras maiúsculas como representativas de proposições lógicas simples.
A expressão Q ∧ (~P) é equivalente à expressão ~(P → Q).
A expressão Q ∧ (~P) é equivalente à expressão ~(P → Q).
~(P→Q) equivale a P∧~Q, e não a Q∧~P.
A negação da condicional P→Q é P∧~Q. A expressão Q∧~P troca os papéis de P e Q. Com P=V e Q=F, P∧~Q é V e Q∧~P é F, então não são equivalentes.
Análise das alternativas
A) Errada: confundiria P∧~Q com Q∧~P. B) Correta: as expressões não têm a mesma tabela-verdade.
Referência: Cebraspe; Equivalências lógicas, negação da condicional.
Resolução comentada do VaiConcursos.