Exercı́cio 3.16: Verifique quais das seguintes afirmações são corretas: a) (¬p ∧ (p ∨ q)) é logicamente equivalente a q. b) ((p→ q)→ r) é logi...

Vamos analisar cada alternativa: a) (¬p ∧ (p ∨ q)) é logicamente equivalente a q. Isso está incorreto. A expressão (¬p ∧ (p ∨ q)) não é logicamente equivalente a q. b) ((p→ q)→ r) é logicamente equivalente a (p→ (q→ r)). Isso está correto. A expressão ((p→ q)→ r) é logicamente equivalente a (p→ (q→ r)). c) ((p↔ q)↔ r) é logicamente equivalente a (p↔ (q↔ r)). Isso está incorreto. A expressão ((p↔ q)↔ r) não é logicamente equivalente a (p↔ (q↔ r)). d) p→ (q ∧ r) é logicamente equivalente a (p→ q) ∧ (p→ r). Isso está correto. A expressão p→ (q ∧ r) é logicamente equivalente a (p→ q) ∧ (p→ r). e) (p ∨ q)→ r é logicamente equivalente a (p→ r) ∧ (q→ r). Isso está incorreto. A expressão (p ∨ q)→ r não é logicamente equivalente a (p→ r) ∧ (q→ r). Portanto, as afirmativas corretas são b) e d).