Gabarito disponível
Analisando as informações sobre as operações lógicas que são apresentadas em uma tabela-verdade para proposições “p” e “q”, assinale a alternativa em que os conceitos que envolvem equivalência lógica estejam corretamente indicados.
Resolução comentada
Equivalência lógica: p → ~q ≡ q → ~p (contrapositiva).
A contrapositiva de p → ~q é ~(~q) → ~p, isto é, q → ~p. Portanto as duas proposições são equivalentes.
Análise das alternativas
A) p ∨ (p ∧ q) ≡ p (absorção), não q. B) p → (p ∧ q) ≡ p → q, que não é q → p. C) (p ∧ q) → r ≡ (p → r) ∨ (q → r), e não com ~r. D) (p → q) → r não equivale a (p ∧ ~r) → q.
Referência: Equivalências lógicas: contrapositiva e absorção.
Resolução comentada do VaiConcursos.